diff options
author | Heinrich Schuchardt <xypron.glpk@gmx.de> | 2023-03-26 02:55:12 +0000 |
---|---|---|
committer | Heinrich Schuchardt <heinrich.schuchardt@canonical.com> | 2023-04-01 10:11:50 +0200 |
commit | ffc1cfb8f4cbd2bd28be5877040821ccbda3e08b (patch) | |
tree | b52a9da6c955bd854cfece5af10bd9cbd26ea644 /doc | |
parent | 854aaf9024fc70cae31672eb3db1583d8f88e94d (diff) |
doc: describe skipping triggering a pipeline in Gitlab
'git push -o ci.skip' can be used to push to Gitlab without triggering a
pipeline.
Signed-off-by: Heinrich Schuchardt <xypron.glpk@gmx.de>
Reviewed-by: Simon Glass <sjg@chromium.org>
Diffstat (limited to 'doc')
-rw-r--r-- | doc/develop/ci_testing.rst | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/doc/develop/ci_testing.rst b/doc/develop/ci_testing.rst index b9a9a516c1..ffaacedc3d 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 ---------------- |