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 /lib/efi_loader/efi_device_path.c | |
| 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 'lib/efi_loader/efi_device_path.c')
0 files changed, 0 insertions, 0 deletions