Miklos Vajna <vmiklos@xxxxxxx> writes: > On Thu, Aug 16, 2012 at 11:18:40PM -0700, Junio C Hamano <gitster@xxxxxxxxx> wrote: >> From: Miklos Vajna <vmiklos@xxxxxxx> >> 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@xxxxxxx> Thanks. -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html