diff options
| author | Heinrich Schuchardt <[email protected]> | 2023-03-26 02:55:12 +0000 |
|---|---|---|
| committer | Heinrich Schuchardt <[email protected]> | 2023-04-01 10:11:50 +0200 |
| commit | ffc1cfb8f4cbd2bd28be5877040821ccbda3e08b (patch) | |
| tree | b52a9da6c955bd854cfece5af10bd9cbd26ea644 /include/efi_api.h | |
| 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 <[email protected]>
Reviewed-by: Simon Glass <[email protected]>
Diffstat (limited to 'include/efi_api.h')
0 files changed, 0 insertions, 0 deletions