Deleting remote branch pointed by remote HEAD
- From
Marc-André Lureau <marcandre.lureau@gmail.com>
- Date
- Jan 21, 2009, 13:02 UTC
- 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