On Thu, Aug 16, 2012 at 09:22:14AM -0700, Junio C Hamano <gits...@pobox.com>
> I am not sure if this is worth it, as it comes from a natural
> "abbreviated options" support, i.e.
I sent the patch as a (newcomer) friend today asked if it's intentional
that -r is undocumented in 'man git-pull'.
> And I do not think we particularly want to do
> Rebase the current...
> for obvious reasons.
I agree, however, we already document -q and --quiet, or -v and
--verbose in the same manpage, so I think it would be consistent to have
-r there as well.
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