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
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`
>&
From: Travis Carden
The former messages changed grammatical subject in the middle.
Signed-off-by: Travis Carden
---
This is my first attempt at contributing to the Git project.
I'm kind of testing the water with a simple patch to see how
friendly the community is. Thanks!
setup.c |
3 matches
Mail list logo