(off-list ancestor, not in this archive)
Re: [PATCH] git remote update: New option --prune (-p) · Junio C Hamano <hidden> · 2016-06-15
[PATCHv2 0/2] git remote update: New option --prune (-p) · Finn Arne Gangstad <hidden> · 2016-06-15
[PATCHv2 1/2] builtin-remote.c: Split out prune_remote as a separate function. · Finn Arne Gangstad <hidden> · 2016-06-15
[PATCHv2 2/2] git remote update: New option --prune · Finn Arne Gangstad <hidden> · 2016-06-15
Re: [PATCHv2 2/2] git remote update: New option --prune · Junio C Hamano <hidden> · 2016-06-15

Re: [PATCHv2 2/2] git remote update: New option --prune

From: Junio C Hamano <hidden>
Date: 2016-06-15 22:46:33

Thanks, queued (with a minor C90 fixup).