summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorChristian Couder <chriscool@tuxfamily.org>2019-07-09 14:17:37 +0000
committerChristian Couder <chriscool@tuxfamily.org>2019-07-10 17:50:51 +0200
commitd14d9b6694086f11edac20f8c37e5cebd70821ac (patch)
tree852b3c1091a958d51f2ddbca099d534186279a80 /doc
parent2d9cd76f4f7319a9f4cafc5a01e6b5f29d3cb1fc (diff)
downloadgitlab-ce-d14d9b6694086f11edac20f8c37e5cebd70821ac.tar.gz
Add --push-option example in doc/ci/yaml/README.mdchriscool-master-patch-19677
Diffstat (limited to 'doc')
-rw-r--r--doc/ci/yaml/README.md3
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