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.
Garth
_______________________________________________
fenics mailing list
[email protected]
http://fenicsproject.org/mailman/listinfo/fenics
