[petsc-dev] broken nightlybuilds (next vs next-tmp)

[Satish Balay]

On Sun, 5 Nov 2017, Satish Balay wrote:

> >   origin/jed/fix-stdout-attr-delete
> >   origin/jed/pastix-comm
> >   origin/mark/fix-mat
> 
> These are now merged to master.

Jed, Mark,

The above branches  appear to have started from maint. Are they destined to maint?

If so it would be good to make it more obvious with a '/maint' suffix in the branch name.

Thanks,
Satish