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
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
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
3 matches
Mail list logo