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? > 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? I think that git said "warning: updating the currently checked out branch; this may cause confusion, as the index and working tree do not reflect changes that are now in HEAD." after your push and that this may have rung some bells. I also think that pushing to a non-bare remote repo (one with a worktree checked out) is strongly advised against in multiple places, unless you know what you're doing - which you seem to do since you were able to restore your HEAD ;) Cheers, Michael -- 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
