[petsc-dev] git : list branches started off maint - but not yet merged back

Satish Balay balay at mcs.anl.gov
Thu Aug 29 10:47:37 CDT 2013


Jed, Karl,

In git - how do I list branches that started off maint - but are not
yet merged back?

I'm starting a maint build today [staring in an hour] - so want to see
if there are some branches that should be merged into 'maint' - before
build starts.

thanks,
Satish





More information about the petsc-dev mailing list