From: Jonathan Nieder <jrnieder@gmail.com>
Date: Wed, 01 Aug 2018 22:57:14 GMT
Subject: Re: [PATCH] push: comment on a funny unbalanced option help
Message-ID: <20180801225713.GB189024@aiede.svl.corp.google.com>
In-Reply-To: <xmqqh8ke6i7w.fsf@gitster-ct.c.googlers.com>

Hi,

Junio C Hamano wrote:

> Add a comment to save future readers from wasting time just like I
> did ;-)

Thanks.  I think we should go further, and start the comment with
TRANSLATORS so it shows up for the audience most affected by this as
well.  See the note on TRANSLATORS in po/README for details.

Sincerely,
Jonathan