[[!comment format=mdwn username="arnaud.oqube@c9b8c7ea33f1dea0b7a5485b86825c5bfa9efbf7" nickname="arnaud.oqube" subject="comment 3" date="2016-05-30T07:50:28Z" content=""" OK. Indeed my patch is a bit brutal, that's one reason I have not proposed it straight away :-) I understand the rationale behind being flexible in how to build locally and remotely. Using a git config property seems pretty straightforward but I don't see how to do it within `config.hs`. Any suggestion? """]]