summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJeff King <peff@peff.net>2016-06-13 19:58:51 -0400
committerJunio C Hamano <gitster@pobox.com>2016-06-14 10:56:27 -0700
commit9e70233a17f158f499c60ff82c20c7646fde66e8 (patch)
treec8926b6f063016ee5f0fde795420fc4711a9df66
parent765428699a5381f113d19974720bc91b5bfeaf1d (diff)
downloadgit-9e70233a17f158f499c60ff82c20c7646fde66e8.tar.gz
fetch: document that pruning happens before fetchingjk/fetch-prune-doc
This was changed in 10a6cc8 (fetch --prune: Run prune before fetching, 2014-01-02), but it seems that nobody in that discussion realized we were advertising the "after" explicitly. Signed-off-by: Jeff King <peff@peff.net> Signed-off-by: Junio C Hamano <gitster@pobox.com>
-rw-r--r--Documentation/fetch-options.txt2
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/fetch-options.txt b/Documentation/fetch-options.txt
index 45583d8454..dfbc8ad0df 100644
--- a/Documentation/fetch-options.txt
+++ b/Documentation/fetch-options.txt
@@ -51,7 +51,7 @@ ifndef::git-pull[]
-p::
--prune::
- After fetching, remove any remote-tracking references that no
+ Before fetching, remove any remote-tracking references that no
longer exist on the remote. Tags are not subject to pruning
if they are fetched only because of the default tag
auto-following or due to a --tags option. However, if tags