Whether to merge all fenics projects into one repository was discussed offline in january, my tests of today show that it is definitely feasible.
Before we eventually do that, we should allow some time for people to foresee eventual issues, e.g. we'll need changes to the buildbot, which projects should be included, etc. The blueprint interface is not really a good place to discuss, as it doesn't handle concurrent access by multiple users, so chip in on this thread if you have anything to say. Here's a summary of pros and cons: https://blueprints.launchpad.net/fenics/+spec/combine-projects-into-one-repository including a link to an already merged repository prototype and a script to create it. Martin
_______________________________________________ Mailing list: https://launchpad.net/~fenics Post to : [email protected] Unsubscribe : https://launchpad.net/~fenics More help : https://help.launchpad.net/ListHelp
