diff --git a/doc/ci/yaml/README.md b/doc/ci/yaml/README.md index 474db05de06b7ce5d9ee207c4e9f74d608a0cd6d..c2ef58acf15cc3b91e9d5e48863d37796f9b508a 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+ ```