Re: [PATCH 04/11] sha1dc: mark forgotten message for translation
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Jan 18, 2021, 21:06 UTC
- Message-ID
- <xmqqim7uj6p5.fsf@gitster.c.googlers.com>
- In-Reply-To
- <nycvar.QRO.7.76.6.2101181525370.52@tvgsbejvaqbjf.bet>
Johannes Schindelin <Johannes.Schindelin@gmx.de> writes:
Show 8 quoted lines
>> That's what I was getting at. The audience is really Git developers, >> just like it would be for a BUG(). We don't expect either of those >> things to happen. > > While a SHA-1 collision might not be anything we expect to happen, I am > fairly certain it won't be a bug in Git causing it. Nor will it be > anything that core Git developers have to react on. For those reasons, I > disagree that core Git developers are the target audience of this message.
I do not know if this is what Peff meant by "the audience is really Git developers", but when any end-user encounters this message, we want to learn about it a lot more urgently than all the ordinary "there is no such command line option", so in that sense, even it is not "a bug in git", it is more special than ordinary errors.