Piecuu/pmaports
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

docs: add skip-grep

Browse source 
Signed-off-by: Aster Boese <asterboese@mailbox.org>
Part-of: <https://gitlab.postmarketos.org/postmarketOS/pmaports/-/merge_requests/8652>
This commit is contained in:
Aster Boese 2026-05-10 16:39:35 +02:00 • committed by The Friendly Meow (merge) Bot
parent 7a6d8d5e9c
commit 1a482a2b17
No known key found for this signature in database
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
docs/ci-tags.md
View file

@ -19,6 +19,8 @@ the continuous integration behaviour for your merge requests.
* `[ci:skip-dint]`: Do not run the device-linter check. Use this when moving
or modifying many devices not maintained by you that due to historical reasons
might not pass the check.
* `[ci:skip-grep]`: Do not run the grep check. Use this when renaming or moving
unmaintained packages.
* `[skip ci]`: Completely skip the pipeline for the merge request. This is a
GitLab [feature](https://docs.gitlab.com/ci/pipelines/#skip-a-pipeline). Use
this only in very extreme situations where CI might be broken, but a change is