From: Sam Vilain <sam@vilain.net>
Date: Sun, 18 Mar 2007 09:36:04 GMT
Subject: [wishlist] git branch -d -r remotename
Message-ID: <45FD0804.6010401@vilain.net>

I'm finding myself wanting to delete all local branch heads that are
already present on a remote.

You wouldn't want it to be too eager about it, and certainly you
wouldn't want to use it against any server that isn't considered
completely "upstream" of the repository you're doing it on, otherwise if
both ends run it and then "git remote prune" the refs will go away.

I think either "git remote prune" or "git branch -d" would be a good
place for that.

Thoughts?

Sam.