Hi, Ludovic Courtès <[email protected]> writes:
[...] > On option 2, I wrote: > >> That could be quite annoying though, for instance if you do want to >> locally modify the hook for some reason and it constantly gets >> overwritten. > > Not convinced! Sorry, I had missed that reply. Yeah, I doubt people are hacking regularly on something sensitive like the pre-push hook, but it could be annoying , yes. >> A '--no-hook' option seems of little value to me at least to fix the >> issue at hand, as it would rely on users knowing to use such option it >> the first place, and in which context. > > My idea was that, if we add that ‘--no-hooks’ option, we’d update the > “Building from Git” node to mention it. > > WDYT? That'd be simpler, if somewhat inelegant. I think it'd be good enough for now, if the documentation is updated along as you said. -- Thanks, Maxim
