From: Junio C Hamano Date: Mon, 05 Mar 2018 21:19:12 GMT Subject: Re: [PATCH v3] run-command: add hint when a hook is ignored Message-ID: In-Reply-To: <20180303071613.GC17312@sigill.intra.peff.net> Jeff King writes: >> True. The user could tell the server operator to rename them or >> remove them because they are not doing anything useful, but then >> as long as everybody knows they are not doing anything, it is OK >> to leave that sleeping dog lie, as they are not doing anything >> harmful anyway. >> >> That brings us one step further back to question if the hints are >> useful in the first place, though ;-). > > Yes, that last paragraph definitely crossed my mind. Do we have an > opinion on doing anything here? (E.g., declaring the hints not worth the > trouble and reverting them versus just living with it)? I am tempted to declare that the "hints" was not a good idea and suggest reverting them.