dolfin team mailing list archive

["Garth N. Wells" <gnw20@xxxxxxxxx>]

There have been a number of commits recently that are breaking the
buildbot and not being fixed by the author. This is probably because
the buildbot has not had a chance to turn green and send out failure
notices with a blame list. I suggest that we don't make any commits
for now other than those required to get things green again.

A more draconian option is to require that those without a personal
buildbot submit a merge request rather than committing directly to
lp:dolfin.

Garth