Hi, On Tue, 2 Oct 2007, Sean wrote: > On Tue, 02 Oct 2007 11:23:39 -0700 > Junio C Hamano <gitster@xxxxxxxxx> wrote: > > > 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. > > But you could pick a reasonable default in assuming that a new branch is > desired with the above example. If someone wants to push a tag, they > can create the tag locally, and then push it. And if someone wants to push a branch, they can create the branch locally, and then push it. (Your last sentence with s/tag/branch/g applied.) Ciao, Dscho - 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
