Re: git push tags
- From
- Drew Northup <n1xim.email@gmail.com>
- Date
- Oct 26, 2012, 14:13 UTC
- Message-ID
- <CAM9Z-nnrFxhX7XxBqe4qfuqZigpD12CrN2W6d=L996rJ_ecWFQ@mail.gmail.com>
- In-Reply-To
- <CAEUsAPZC80aSwnS0sBTt9nEu0HgyPp0BD2TWjSBb7tS7=i=VhQ@mail.gmail.com>
On Fri, Oct 26, 2012 at 9:59 AM, Chris Rorvick <chris@rorvick.com> wrote:
Show 8 quoted lines
> On Fri, Oct 26, 2012 at 8:37 AM, Drew Northup <n1xim.email@gmail.com> wrote: >> (As for deleting the current branch, you can't really do that on a >> proper bare remote anyway as there is no such thing as a "current >> branch" in that context.) > > Really? When I clone a bare repository I see a HEAD, and Git doesn't > want me to delete it with a push from a remote repo. So is this not a > "proper" bare repository?
Chris, If there's no working directory in the remote repository is there a "current branch" in the _remote_ repository? (I am not talking about the tracking branch here. I also presume that attempting to delete the one and only branch is somewhat nonsensical.)
In any case, this is a different mental model than the one Angelo seems (to me) to be arguing.
-- -Drew Northup -------------------------------------------------------------- "As opposed to vegetable or mineral error?" -John Pescatore, SANS NewsBites Vol. 12 Num. 59