aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorOren Held <oren@held.org.il>2010-07-13 15:01:40 +0300
committerJunio C Hamano <gitster@pobox.com>2010-07-13 09:13:34 -0700
commit1b79d1c2a8a90419238f7213870ab1dc465082fe (patch)
tree9c6ad3622292746914ac3843188d0d213f83f934
parent312a30eb5d1926df19c756ba89561507f3cefdc7 (diff)
downloadgit-1b79d1c2a8a90419238f7213870ab1dc465082fe.tar.gz
git-1b79d1c2a8a90419238f7213870ab1dc465082fe.tar.xz
git fetch documentation: describe short '-p' synonym to '--prune' option
It's already implemented, just undocumented. Signed-off-by: Oren Held <orenhe@il.ibm.com> Signed-off-by: Junio C Hamano <gitster@pobox.com>
-rw-r--r--Documentation/fetch-options.txt1
1 files changed, 1 insertions, 0 deletions
diff --git a/Documentation/fetch-options.txt b/Documentation/fetch-options.txt
index 044ec882c..9333c42c5 100644
--- a/Documentation/fetch-options.txt
+++ b/Documentation/fetch-options.txt
@@ -34,6 +34,7 @@ ifndef::git-pull[]
Allow several <repository> and <group> arguments to be
specified. No <refspec>s may be specified.
+-p::
--prune::
After fetching, remove any remote tracking branches which
no longer exist on the remote.