From: Pierre Habouzit <madcoder@debian.org>
Date: Wed, 07 Nov 2007 15:11:57 GMT
Subject: Re: [bug in next ?] git-fetch/git-push issue
Message-ID: <20071107151157.GK18057@artemis.corp>
In-Reply-To: <20071105175654.GD6205@artemis.corp>


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@debian.org
OOO                                                http://www.madism.org