On Thu, Jan 23, 2014 at 2:58 PM, Junio C Hamano <gits...@pobox.com> wrote:
> Will be fine, provided if they always use local:remote syntax, I'd
Why? No sane user should actually need to use the local:remote syntax.
The normal situation should be that you create the correctly named
branch or tag locally, and then push it out under that name.
So I don't actually think anybody should need to be retrained, or
"always use the local:remote" syntax. The local:remote syntax exists
only for that special insane case where you used (the same)
local:remote syntax to push out a branch under a different name.
[ And yeah, maybe that behavior is more common than I think, but even
if it is, such behavior would always be among people who are *very*
aware of the whole "local branch vs remote branch name is different"
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