From: Marc-André Lureau <marcandre.lureau@gmail.com>
Date: Wed, 21 Jan 2009 13:02:09 GMT
Subject: Deleting remote branch pointed by remote HEAD
Message-ID: <e29894ca0901210502n1ed1187bm46669a402ab4fe48@mail.gmail.com>

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!".

I found this situation non-friendly. Fortunately, I could understand
what's going on. But a new user might be confused.

Shouldn't the remote HEAD branch be updated or "protected" in some
ways? Or should the "error" be considered as a "warning" (silently?)

What do you think?

regards,

-- 
Marc-André Lureau