The problem appeared only on the buildbots (not locally) so they didn't show up until I pushed and I couldn't fix them without testing my fixes on the buildbots.
Except for two small remaining bugs that I have now fixed that were part of the missing unit tests that should have been running but weren't. These could have been tested locally. I agree revert should be the policy if a new feature makes the buildbot break, but what about unit tests? -- Anders On Thu, Nov 10, 2011 at 08:51:24PM +0100, Martin Sandve Alnæs wrote: > May I (again) suggest reverting in cases like this? Just disable the tests > again until you've fixed them, so you're not blocking the repository? > It is particularly important that the release branch stays green at all times. _______________________________________________ Mailing list: https://launchpad.net/~dolfin Post to : dolfin@lists.launchpad.net Unsubscribe : https://launchpad.net/~dolfin More help : https://help.launchpad.net/ListHelp