Re: Deleting remote branch pointed by remote HEAD

From: Michael J Gruber <git@drmicha.warpmail.net>
Date: Jan 21, 2009, 15:24 UTC
Message-ID: <49773E48.90302@drmicha.warpmail.net>
In-Reply-To: <e29894ca0901210638t636de791sf27d28893a7a0b65@mail.gmail.com>

Marc-André Lureau venit, vidit, dixit 21.01.2009 15:38:

Show 14 quoted lines

> On Wed, Jan 21, 2009 at 4:33 PM, Michael J Gruber
> <git@drmicha.warpmail.net> wrote:
>> Marc-André Lureau venit, vidit, dixit 21.01.2009 14:02:
>>> Hi
>>>
>>> I deleted a remote branch which was pointed by HEAD, this way: "git
>>> push origin :master"
>>>
>>> Then for almost every git command, I get this error: "error:
>>> refs/remotes/origin/HEAD points nowhere!".
>> You're talking about about the remote git repo, aren't you?
>>
> 
> Sure. But the error is on the local repo.

So, you get these errors on the local repo when dealing with the remote repo, right? I guess this means two things:

1) You are deleting a remote branch

2) Your original report could have been a bit more detailed ;)

In fact, I'm still unsure about your setup and can't reproduce, unless "almost every git command" was vastly exaggerated, and Adeodato's description matches your setup. Does it?

If yes then git has basically no choice, unless you want git to leave HEAD in place as a detached head. This is related to how the symref is resolved, which in turn is related to the issue of removing remote branches, which in turn is related to an issue I've been meaning to look into quite a while ago... So, reproducibility would be nice.

Cheers, Michael