From ee7c30c4f62cee409dbcba3c9dc2a36ad0a2fe97 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Pablo=20Correa=20G=C3=B3mez?=
 <pabloyoyoista@postmarketos.org>
Date: Fri, 30 Jan 2026 20:08:30 +0100
Subject: [PATCH] ci: skip "docs" folder as part of get_changed_packages test
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Signed-off-by: Pablo Correa Gómez <pabloyoyoista@postmarketos.org>
Part-of: <https://gitlab.postmarketos.org/postmarketOS/pmaports/-/merge_requests/7881>
---
 .ci/lib/common.py | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/.ci/lib/common.py b/.ci/lib/common.py
index 265ead034..8cd2f0dab 100755
--- a/.ci/lib/common.py
+++ b/.ci/lib/common.py
@@ -139,7 +139,14 @@ def get_changed_packages(skip_archived: bool = False):
         # Skip files:
         # * in the root dir of pmaports (e.g. README.md)
         # * path with a dot (e.g. .ci/, device/.shared-patches/)
-        if not dirname or file.startswith(".") or "/." in file or skip_archived and dirname.startswith("device/archived"):
+        # * documentation
+        if (
+                not dirname
+                or file.startswith(".")
+                or "/." in file
+                or skip_archived and dirname.startswith("device/archived")
+                or dirname == "docs"
+        ):
             continue
 
         if filename != "APKBUILD":