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. -- ·O· Pierre Habouzit ··O madcoder@xxxxxxxxxx OOO http://www.madism.org
Attachment:
pgp4K96c3A8ua.pgp
Description: PGP signature
