8 Jul
2013
8 Jul
'13
10:44 p.m.
Harald Welte wrote:
We can establish:
* Andreas should have run 'make check' before asking me to merge * I should have run 'make check' ahead of the commit and not immediately after ;) My apologies for that. .. So as a result, we introduce a new rule / process:
Maybe consider running 'make check' in a pre-receive hook on the server. I'm a big fan of Gerrit because it allows such verification to run asynchronously after a push. Gerrit sits between the developer and the official git repository. Everybody pushes to Gerrit, not to the actual repo. (Yes, when using a workflow that depends on gitolite or gitosis access control becomes an issue with Gerrit.) //Peter