mirror of
https://github.com/git/git
synced 2024-08-28 12:09:19 +00:00
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:
parent
e6aaa39347
commit
2147fa7e19
|
@ -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]]
|
||||||
|
|
Loading…
Reference in a new issue