Re: Feature Request: `git remote prune --all`

2014-08-17 Thread Travis Carden
Thanks, guys! `git fetch --all --prune` satisfies my request. I appreciate the education! On Sun, Aug 17, 2014 at 2:18 AM, Jeff King wrote: > On Sat, Aug 16, 2014 at 07:52:44PM -0500, Travis Carden wrote: > >> I would like to propose the addition of a `git remote prune --all` >> command option or

Re: Feature Request: `git remote prune --all`

2014-08-17 Thread Jeff King
On Sat, Aug 16, 2014 at 07:52:44PM -0500, Travis Carden wrote: > 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 gi

Feature Request: `git remote prune --all`

2014-08-16 Thread Travis Carden
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"; g