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