Johannes Schindelin <Johannes.Schindelin@gmx.de> writes:

quoted text
> But then I stepped back a little: What is most likely meant when you say 
> "master:blub" and there is no tag/branch of name "blub" on the remote 
> side?  Exactly, you want a branch to be created.

It's not that "exactly" for me.

If your push were "next~27^2:frotz", it becomes even less clear.
It may be that I am pushing out the tip of a topic branch I
usually do not push out, so it would be easier for some specific
person to build on top of.  Or maybe I am marking that place as
a lightweight tag.  They are equally likely.

On the other hand, what the user wants to do with "git push
$elsewhere frob" is reasonably clear.  If frob is locally a
branch, then the branch is pushed out.  If frob is a tag, the
tag is propagated.

-
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html