Re: [PATCH] push: comment on a funny unbalanced option help

[Jonathan Nieder <jrnieder@xxxxxxxxx>]

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