>> 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