From 1a482a2b17f58447bb25fa1c766e1f7981707cae Mon Sep 17 00:00:00 2001 From: Aster Boese Date: Sun, 10 May 2026 16:39:35 +0200 Subject: [PATCH] docs: add skip-grep Signed-off-by: Aster Boese Part-of: --- docs/ci-tags.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/docs/ci-tags.md b/docs/ci-tags.md index 1836ac073..ca8d733c7 100644 --- a/docs/ci-tags.md +++ b/docs/ci-tags.md @@ -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