From: Drew Northup Date: Fri, 26 Oct 2012 14:13:41 GMT Subject: Re: git push tags Message-ID: In-Reply-To: On Fri, Oct 26, 2012 at 9:59 AM, Chris Rorvick wrote: > On Fri, Oct 26, 2012 at 8:37 AM, Drew Northup 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