Re: Deleting remote branch pointed by remote HEAD
- From
Michael J Gruber <git@drmicha.warpmail.net>
- Date
- Jan 21, 2009, 14:33 UTC
- Message-ID
- <49773240.7090605@drmicha.warpmail.net>
- In-Reply-To
- <e29894ca0901210502n1ed1187bm46669a402ab4fe48@mail.gmail.com>
Marc-André Lureau venit, vidit, dixit 21.01.2009 14:02:
Show 7 quoted lines
> 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?
Show 7 quoted lines
> 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