diff options
| author | Junio C Hamano <gitster@pobox.com> | 2017-03-24 22:57:54 +0300 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2017-03-24 22:57:54 +0300 |
| commit | ce9e6178d31a61db05acd2c7311651d1da31d18f (patch) | |
| tree | ead37675f22605bda20f6703baff64822ed95ca1 | |
| parent | 7bd881f7ca942be3a98077642ea6d526ac6ff458 (diff) | |
| parent | e4e016f65da6c7cc94709bec079d61f4bed7b196 (diff) | |
Merge branch 'ab/push-default-doc-fix' into maint
Doc fix.
* ab/push-default-doc-fix:
push: mention "push.default=tracking" in the documentation
| -rw-r--r-- | Documentation/config.txt | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Documentation/config.txt b/Documentation/config.txt index 038a32d01b..953cf69117 100644 --- a/Documentation/config.txt +++ b/Documentation/config.txt @@ -2438,6 +2438,8 @@ push.default:: pushing to the same repository you would normally pull from (i.e. central workflow). +* `tracking` - This is a deprecated synonym for `upstream`. + * `simple` - in centralized workflow, work like `upstream` with an added safety to refuse to push if the upstream branch's name is different from the local one. |