From 8ab6a256d3de3c4988cf1f4563cbe06f9676517f Mon Sep 17 00:00:00 2001 From: Amar Takhar Date: Fri, 23 Jan 2026 16:51:13 -0500 Subject: [PATCH] ignore: Add contrib Ignore all files in contrib/* as we do not want to touch files there in any way, at least for now. --- .gitlab/ignore.toml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/.gitlab/ignore.toml b/.gitlab/ignore.toml index 2d7b57ea71..9923afb55c 100644 --- a/.gitlab/ignore.toml +++ b/.gitlab/ignore.toml @@ -1,6 +1,9 @@ ["defaults"] exclude = ["format", "spell"] +[[ignore."contrib"]] +files = ["contrib/*"] + [[ignore."cpukit/dev"]] files = ["cpukit/dev/iovprintf.c"]