Committers: you *must* pull and merge before pushing