[PATCH 1/1] doc: describe skipping triggering a pipeline in Gitlab

[Heinrich Schuchardt]

'git push -o ci.skip' can be used to push to Gitlab without triggering a
pipeline.

Signed-off-by: Heinrich Schuchardt <xypron.glpk at gmx.de>
---
 doc/develop/ci_testing.rst | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/doc/develop/ci_testing.rst b/doc/develop/ci_testing.rst
index b9a9a516c1..d8690f2cd2 100644
--- a/doc/develop/ci_testing.rst
+++ b/doc/develop/ci_testing.rst
@@ -50,6 +50,12 @@ runners you are able to provide.  While it is intended to be able to run this
 pipeline on the free public instances provided at https://gitlab.com/ a problem
 with our squashfs tests currently prevents this.

+To push to Gitlab without triggering a pipeline use:
+
+.. code-block:: bash
+
+    git push -o ci.skip
+
 Docker container
 ----------------

--
2.39.2