diff options
| author | Oren Held <oren@held.org.il> | 2010-07-13 15:01:40 +0300 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2010-07-13 09:13:34 -0700 |
| commit | 1b79d1c2a8a90419238f7213870ab1dc465082fe (patch) | |
| tree | 9c6ad3622292746914ac3843188d0d213f83f934 | |
| parent | 312a30eb5d1926df19c756ba89561507f3cefdc7 (diff) | |
| download | git-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.txt | 1 |
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. |