On Thu, Aug 16, 2012 at 11:18:40PM -0700, Junio C Hamano <gits...@pobox.com> 
wrote:
> From: Miklos Vajna <vmik...@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 <vmik...@suse.cz>
--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majord...@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html

Reply via email to