On Wed, Jan 21, 2009 at 6:19 PM, Jeff King <peff@xxxxxxxx> wrote: > On Wed, Jan 21, 2009 at 04:24:56PM +0100, Michael J Gruber wrote: > >> So, you get these errors on the local repo when dealing with the remote >> repo, right? I guess this means two things: >> >> 1) You are deleting a remote branch > > Actually, he doesn't have to delete the remote branch; somebody else > can. The problem is that the HEAD pointer for his remote tracking > branches points to a branch that doesn't exist. This can happen because > we sometimes update the tracking branches (including deletion) without > impacting the HEAD pointer. > > There are two ways that I can think of (and there may be more) to > provoke this: > > 1. delete a remote branch via push. The local side will helpfully > delete your local tracking branch to match what happened on the > remote. If it was the remote's HEAD, then you get a broken state > (and while we discourage pushing to the remote HEAD on a non-bare > repo, it is perfectly OK for a bare one). > > 2. somebody else deletes the remote branch that is the HEAD, and you > update your tracking branches via "git remote prune", which deletes > your tracking branches corresponding to any deleted remote branches. > > And actually there is a slight variant on both of the above. The deleted > branch does not actually have to be the current HEAD on the remote. It > just has to match your _idea_ of the current HEAD on the remote, which > may be out of date. > > Situation (1) happens entirely locally. So it can be fixed fairly easily > by checking whether the remote tracking HEAD points to a branch we are > deleting, and deleting the HEAD in that case (the code should be in > builtin-send-pack.c:update_tracking_ref). Of course you have probably > also created a broken situation on the remote, so perhaps receive-pack > should handle that. > > Situation (2) could do something similar: when we see that we are about > to delete the ref pointed to by the remote tracking HEAD, we could > delete the HEAD. > > But both situations are a little hack-ish to me. You are deleting the > HEAD because you don't know what the right value is from the remote end. > A better fix would be to actually pull the HEAD information down during > fetch. And I seem to recall a patch about that at some point (it > required a new protocol extension), but I don't know what become of it. > > However, even if we kept the tracking HEAD totally in sync with the > remote's HEAD, it still may be possible that the remote HEAD is broken. > In which case it might be nice to detect that when pulling it down and > just leave the tracking HEAD unset. Why should we care about the remote HEAD? Isn't that relevant only when cloning to find out the branch to checkout? Also, it's not nice to leave the remote repo with a broken HEAD pointer, shouldn't git ask for a new head, or fail with a proper message? -- Felipe Contreras -- 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