I would like to propose the addition of a `git remote prune --all` command option or similar mechanism for pruning all remotes in a repository. For lack of such a feature, I've been using the following bash alias:
alias git-remote-prune-all='for REMOTE in `git remote`; do echo "Pruning $REMOTE"; git remote prune $REMOTE; done;' -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html
