On Wed, Jan 08, 2014 at 04:10:44PM +0000, Garth N. Wells wrote: > On 2014-01-08 15:03, Jed Brown wrote: > >"Garth N. Wells" <[email protected]> writes: > >>What do we want to do after a release with branches that have been > >>merged into master and appeared in a release? Should we be > >>deleting old > >>branches to keep the number under control? > > > >Yes, usually delete all branches that have been merged to their final > >destination (usually 'master'). This can happen after some grace > >period > >or after making the release. It's scriptable (just make sure not to > >delete integration branches that may also be merged). > > Thanks. > > If anyone has an objection to branches that have been merged into > master being deleted, speak up quick.
logg/topic-ccfem is still active, but has had commits since it was last merged. -- Anders _______________________________________________ fenics mailing list [email protected] http://fenicsproject.org/mailman/listinfo/fenics
