diff options
| author |  Ævar Arnfjörð Bjarmason <avarab@gmail.com> | 2018-02-09 20:32:16 +0000 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2018-02-09 13:10:13 -0800 |
| commit | 6317972cff9b4df7a6cc666b08be7133ba81617c (patch) | |
| tree | acbb3ab75f127187d608c7fe9f1b07dc5334d7a8 /GIT-VERSION-GEN | |
| parent | fetch: add a --prune-tags option and fetch.pruneTags config (diff) | |
| download | tgif-6317972cff9b4df7a6cc666b08be7133ba81617c.tar.xz | |
fetch: make the --prune-tags work with <url>
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 <avarab@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'GIT-VERSION-GEN')
0 files changed, 0 insertions, 0 deletions