"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).
pgpLoIWS3uTZJ.pgp
Description: PGP signature
_______________________________________________ fenics mailing list [email protected] http://fenicsproject.org/mailman/listinfo/fenics
