tree b52a9da6c955bd854cfece5af10bd9cbd26ea644
parent 854aaf9024fc70cae31672eb3db1583d8f88e94d
author Heinrich Schuchardt <xypron.glpk@gmx.de> 1679799312 +0000
committer Heinrich Schuchardt <heinrich.schuchardt@canonical.com> 1680336710 +0200

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>