We have maint branches in the git repositories for FEniCS projects, but we have not been consistent in using them. ‘maint’ branches have obvious benefits, but for me personally the extra administrative burden and development complexity is too much. I’d prefer to get fixes out sooner via more frequent releases. To get things sorted out, I think we need (a) someone who is willing to maintain the ‘maint’ branches (cherry pick fixes from master); or (b) we remove the maint branches. Thoughts?
Garth _______________________________________________ fenics mailing list [email protected] http://fenicsproject.org/mailman/listinfo/fenics
