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 _______________________________________________ Mailing list: https://launchpad.net/~dolfin Post to : dolfin@lists.launchpad.net Unsubscribe : https://launchpad.net/~dolfin More help : https://help.launchpad.net/ListHelp
