Automatically remote prune

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