Re: [PATCH v3] run-command: add hint when a hook is ignored
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Mar 5, 2018, 21:19 UTC
- Message-ID
- <xmqqo9k28blb.fsf@gitster-ct.c.googlers.com>
- In-Reply-To
- <20180303071613.GC17312@sigill.intra.peff.net>
Jeff King <peff@peff.net> writes:
Show 12 quoted lines
>> 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.