Re: [bug in next ?] git-fetch/git-push issue

oh and while we're at it, someone reminded me on IRC that when you:

  git push origin :somebranch

it does not removes origin/somebranch from your branches. Now that git push updates our knowledge of the remote branch, I believe that it should also try to perform the equivalent of a:

  git branch -r -d origin/somebranch

And to be fair, I'd also say that git fetch <some-remote> should complain about remote heads that match <some-remote> refspec that have no corresponding reference _on_ the remote so that the user knows that the branches have been removed.

I wanted to write a patch about that long time ago, but my plate is already full with the diff option things.