Sept. 5, 2009
4:28 p.m.
But it shouldn't happen often that the server refuses a push; all errors should already be caught on the clients.
We could just mandate the same hook code as a commit hook.
I would be in favor (although, IIUC, "mandate" here would be a social thing, not a technical one). Regards, Martin