From: Junio C Hamano <gitster@pobox.com>
Date: Thu, 16 Aug 2012 21:05:11 GMT
Subject: Re: [PATCH] man: git pull -r is a short for --rebase
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.