[FEniCS] git branches

[Garth N. Wells]

With our git work flow, we've been creating lots of branches. Looking 
through branches for DOLFIN on Bitbucket is getting a bit unwieldy, as 
too is using git completion.

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?

Garth
_______________________________________________
fenics mailing list
fenics@fenicsproject.org
http://fenicsproject.org/mailman/listinfo/fenics