Hi there! Please let’s avoid guessing each other’s willingness to do one thing or another.
I agree with David that we should accept simple local fixes like this one, while keeping the “better solution” in sight. It’s a tradeoff, and the goal is to make sure we can all move forward. So I’m all for merging this Gitolite activation patch that David posted right away; I think you can go ahead, David. Adding ‘home-permission’ to <user-account> as Maxime suggested also sounds like a welcome improvement to me, but I think it’s fine to do that separately. Thanks, Ludo’.