Johan Corveleyn wrote on Wed, Apr 06, 2011 at 15:29:05 +0200:
> OTOH, the same problem would probably come up if you'd try to do this
> in a pre-commit hook (unless someone decides to synchronize those
> pre-commit-hook-builds, but wow, then it would be even more blocking
> :)).
True. As to synchronizing them, one could ensure that no other commit
has snuck in behind his back if one required every commit to append
a line to a well-known file.
I should warn, though: by now I'm talking more as a mathematician
("What's possible") than as an admin ("What's recommended").
