On 12/21/20 10:48 AM, Jakub Jelinek wrote:
I have no idea who that is (if it is a single user at all, if it isn't any user with git write permissions).
CCing Joel, he should help us how to set a git config that will be used by the server hooks. Martin
