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

Miklos Vajna [off-list ref] writes:

On Thu, Aug 16, 2012 at 11:18:40PM -0700, Junio C Hamano [off-list ref] wrote:

quoted

From: Miklos Vajna <redacted>
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 <redacted>

Thanks.