In reference to previous discussions on the FEniCS mailing list, are there any objections to the proposal posted earlier today regarding a freeze for branch merging before the pending git conversion?
In detail, the suggestion is to - Set a window for Friday this week to merge in development branches - Freeze all repositories during the weekend - Convert everything to git including file stripping - New branches will need to be created on the git side starting Monday - Old branches on Launchpad will need be be abandoned -- Anders _______________________________________________ Mailing list: https://launchpad.net/~dolfin Post to : dolfin@lists.launchpad.net Unsubscribe : https://launchpad.net/~dolfin More help : https://help.launchpad.net/ListHelp
