Re: [PATCH] man: git pull -r is a short for --rebase
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Aug 16, 2012, 21:05 UTC
- Message-ID
- <7v4no21raw.fsf@alter.siamese.dyndns.org>
- In-Reply-To
- <502D5D97.3020906@kdbg.org>
Johannes Sixt <j6t@kdbg.org> writes:
> Are you sure? This adds '-r', not '--r', i.e., the single-letter option > 'r', to the documentation, which is not something we want to hide, usually.
I actually think "--rebase" squatting on short-and-sweet "-r" was an accident, and we are saved by not endorsing "pull -r" by documenting it. We can still use "-r" for "--recurse-submodules" if that proves to give more value than "--rebase" to our users.
So I dunno. I personally do not think either deserves a short-and-sweet single letter option.