dolfin team mailing list archive

[Anders Logg <logg@xxxxxxxxx>]

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