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 -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html