The buildbot has been red now for a few days (my fault) and it turns red now and again when someone works on new functionality.
Garth and I have discussed setting up separate push branches for all developers with separate buildbots for each branch. Johannes is working on setting up the buildbots. The simple rule will be: never break the main branch. Before a change is merged into the main branch, it first has to be pushed to one of the maintainer branches (dolfin-wells, dolfin-logg etc), and then merged into the main branch only when the branch has been tested by the buildbot. I will try to get the buildbot green again tonight and after that the new rule applies. -- Anders _______________________________________________ Mailing list: https://launchpad.net/~dolfin Post to : [email protected] Unsubscribe : https://launchpad.net/~dolfin More help : https://help.launchpad.net/ListHelp
