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

[Simon Glass]

On Sun, 26 Mar 2023 at 15:55, Heinrich Schuchardt <xypron.glpk at gmx.de> wrote:
>
> '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(+)
>

Reviewed-by: Simon Glass <sjg at chromium.org>