diff options
author | Junio C Hamano <gitster@pobox.com> | 2018-03-06 15:25:44 -0800 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2018-03-06 15:25:44 -0800 |
commit | 664750f03dff9b27b2c2fe5381a720967c1b60c1 (patch) | |
tree | 6960e5a2646c836d9415e1aa4aace2cea9aad4f1 /fetch-options.txt | |
parent | 615c3b305d84007474d17c62d54fc18c71fdc587 (diff) | |
download | git-htmldocs-664750f03dff9b27b2c2fe5381a720967c1b60c1.tar.gz |
Autogenerated HTML docs for v2.16.2-440-gc6284
Diffstat (limited to 'fetch-options.txt')
-rw-r--r-- | fetch-options.txt | 17 |
1 files changed, 16 insertions, 1 deletions
diff --git a/fetch-options.txt b/fetch-options.txt index fb6bebbc6..8631e365f 100644 --- a/fetch-options.txt +++ b/fetch-options.txt @@ -73,7 +73,22 @@ ifndef::git-pull[] are fetched due to an explicit refspec (either on the command line or in the remote configuration, for example if the remote was cloned with the --mirror option), then they are also - subject to pruning. + subject to pruning. Supplying `--prune-tags` is a shorthand for + providing the tag refspec. ++ +See the PRUNING section below for more details. + +-P:: +--prune-tags:: + Before fetching, remove any local tags that no longer exist on + the remote if `--prune` is enabled. This option should be used + more carefully, unlike `--prune` it will remove any local + references (local tags) that have been created. This option is + a shorthand for providing the explicit tag refspec along with + `--prune`, see the discussion about that in its documentation. ++ +See the PRUNING section below for more details. + endif::git-pull[] ifndef::git-pull[] |