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. - 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