From eb4d71b35d4486ae8dce701a39a8480ba9db2148 Mon Sep 17 00:00:00 2001 From: dusk Date: Mon, 28 Jul 2025 18:34:17 +0300 Subject: [PATCH] docs: spindle: pipeline: document the push options Change-Id: pwtwzsuzzylyvttrkylyustlrslzkput Signed-off-by: dusk --- docs/spindle/pipeline.md | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/docs/spindle/pipeline.md b/docs/spindle/pipeline.md index be15581..717f333 100644 --- a/docs/spindle/pipeline.md +++ b/docs/spindle/pipeline.md @@ -57,3 +57,10 @@ clone: depth: 50 submodules: true ``` + +## git push options + +These are push options that can be used with the `--push-option (-o)` flag of git push: + +- `verbose-ci`, `ci-verbose`: enables diagnostics reporting for the CI pipeline, allowing you to see any issues when you push. +- `skip-ci`, `ci-skip`: skips triggering the CI pipeline. -- 2.43.0