git-push: fix link in man page

Signed-off-by: Tony Finch <dot@dotat.at>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
This commit is contained in:
Tony Finch 2014-07-31 16:06:28 +01:00 committed by Junio C Hamano
parent e6aaa39347
commit 2147fa7e19

View file

@ -33,7 +33,7 @@ When the command line does not specify what to push with `<refspec>...`
arguments or `--all`, `--mirror`, `--tags` options, the command finds arguments or `--all`, `--mirror`, `--tags` options, the command finds
the default `<refspec>` by consulting `remote.*.push` configuration, the default `<refspec>` by consulting `remote.*.push` configuration,
and if it is not found, honors `push.default` configuration to decide and if it is not found, honors `push.default` configuration to decide
what to push (See gitlink:git-config[1] for the meaning of `push.default`). what to push (See linkgit:git-config[1] for the meaning of `push.default`).
OPTIONS[[OPTIONS]] OPTIONS[[OPTIONS]]