Re: [PATCH] man: git pull -r is a short for --rebase

From: Junio C Hamano <gitster@pobox.com>
Date: Aug 17, 2012, 07:32 UTC
Message-ID: <7v7gsyvuqt.fsf@alter.siamese.dyndns.org>
In-Reply-To: <20120817070406.GD22313@suse.cz>

Miklos Vajna <vmiklos@suse.cz> writes:

Show 12 quoted lines

> On Thu, Aug 16, 2012 at 11:18:40PM -0700, Junio C Hamano <gitster@pobox.com> wrote:
>> From: Miklos Vajna <vmiklos@suse.cz>
>> Date: Thu, 16 Aug 2012 11:50:18 +0200
>> Subject: [PATCH] man: git pull -r is a short for --rebase
>> 
>> Letting the "--rebase" option squat on the short-and-sweet single
>> letter option "-r" was an unintended accident and was not even
>> documented, but the short option seems to be already used in the
>> wild. Let's document it so that other options that begin with "r"
>> would not be tempted to steal it.
>
> Signed-off-by: Miklos Vajna <vmiklos@suse.cz>

Thanks.