diff options
author | Christian Couder <chriscool@tuxfamily.org> | 2019-07-09 17:17:37 +0300 |
---|---|---|
committer | Christian Couder <chriscool@tuxfamily.org> | 2019-07-10 18:50:51 +0300 |
commit | d14d9b6694086f11edac20f8c37e5cebd70821ac (patch) | |
tree | 852b3c1091a958d51f2ddbca099d534186279a80 /doc/ci | |
parent | 2d9cd76f4f7319a9f4cafc5a01e6b5f29d3cb1fc (diff) |
Add --push-option example in doc/ci/yaml/README.md
Diffstat (limited to 'doc/ci')
-rw-r--r-- | doc/ci/yaml/README.md | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/ci/yaml/README.md b/doc/ci/yaml/README.md index 474db05de06..c2ef58acf15 100644 --- a/doc/ci/yaml/README.md +++ b/doc/ci/yaml/README.md @@ -2829,7 +2829,8 @@ Alternatively, one can pass the `ci.skip` [Git push option][push-option] if using Git 2.10 or newer: ```sh -git push -o ci.skip +git push --push-option=ci.skip # using git 2.10+ +git push -o ci.skip # using git 2.18+ ``` <!-- ## Troubleshooting |