Re: [PATCH] git push: remove incomplete options list from help text

Jeff King [off-list ref] writes:

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.