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>
This commit is contained in:
Oren Held 2010-07-13 15:01:40 +03:00 committed by Junio C Hamano
parent 312a30eb5d
commit 1b79d1c2a8

View file

@ -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.