Re: [PATCH v2 17/17] fetch: make the --fetch-prune work with <url>

On Thu, Feb 8, 2018 at 11:19 AM, Ævar Arnfjörð Bjarmason
[off-list ref] wrote:

fetch: make the --fetch-prune work with <url>

Do you mean s/--fetch-prune/--prune-tags/ ?

Make the new --prune-tags option work properly when git-fetch is
invoked with a <url> parameter instead of a <remote name>
parameter.

This change is split off from the introduction of --prune-tags due to
the relative complexity of munging the incoming argv, which is easier
to review as a separate change.

Signed-off-by: Ævar Arnfjörð Bjarmason <redacted>