From: John Tapsell <johnflux@gmail.com>
Date: Wed, 04 Nov 2009 10:42:52 GMT
Subject: Automatically remote prune
Message-ID: <43d8ce650911040242l44bbf87dm35494e04ce9039aa@mail.gmail.com>

Hi all,

  Is there any particular reason why "git update" doesn't
automatically remove remote branches that have been removed on the
server?  I keep getting questions about this from confused users.

  If there's strong resistance against that (there usually is for
changing any default behaviour), could we at least mark deleted
branches?
So maybe:

$> git branch -r
origin/blah1 [Deleted]
origin/blah2

(Some branches have been deleted on the remote server.  Use  "git
remote prune origin" to remove these)

Or something.

John