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> -- 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