On Fri, Oct 26, 2012 at 9:59 AM, Chris Rorvick <chris@xxxxxxxxxxx> wrote: > On Fri, Oct 26, 2012 at 8:37 AM, Drew Northup <n1xim.email@xxxxxxxxx> 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 -- 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