Re: Problems setting up bare repository (git 1.5.3.3)
- From
Johannes Schindelin <johannes.schindelin@gmx.de>
- Date
- Oct 2, 2007, 20:59 UTC
- Message-ID
- <Pine.LNX.4.64.0710022159090.28395@racer.site>
- In-Reply-To
- <BAYC1-PASMTP05AB6AE16E90C15710819EAEAE0@CEZ.ICE>
Hi,
On Tue, 2 Oct 2007, Sean wrote:
Show 12 quoted lines
> On Tue, 02 Oct 2007 11:23:39 -0700 > Junio C Hamano <gitster@pobox.com> 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