"Garth N. Wells" <[email protected]> writes: > Do you have a script for deleting merged branches that excludes > origin/master, etc?
One convention you can use to screen integration branches is to ask for only branches like 'user/some-topic-name'. $ git branch -r --merged master | grep 'origin/[^ ]*/' | sed 's, origin/,:,' Scan through this list and if you like it, | xargs git push origin
pgpMIdZhg_MgU.pgp
Description: PGP signature
_______________________________________________ fenics mailing list [email protected] http://fenicsproject.org/mailman/listinfo/fenics
