Re: [PATCH] git push: remove incomplete options list from help text
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Oct 19, 2009, 05:41 UTC
- Message-ID
- <7v3a5gaqkt.fsf@alter.siamese.dyndns.org>
- In-Reply-To
- <20091019041033.GB7170@coredump.intra.peff.net>
Jeff King <peff@peff.net> writes:
Show 5 quoted lines
> Probably few people read it, as it was buried deep in a thread. But > maybe we should settle on a rule like "short synopsis for usage, long > synopsis for manpage" or whatever people think is best. > > Also, minor nit with your patch: should it be "[<options>]"?
Thanks, I agree with you on both counts.