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 -- 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
