From 2d61980f537faa7f666aabf00b0832576eb7be20 Mon Sep 17 00:00:00 2001 From: xtheeq Date: Thu, 9 Jul 2026 19:45:12 +0530 Subject: [PATCH] ci: skip patches directory in wiki sync --- .github/scripts/sync-wiki.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/scripts/sync-wiki.py b/.github/scripts/sync-wiki.py index ebf543c7..77bba411 100644 --- a/.github/scripts/sync-wiki.py +++ b/.github/scripts/sync-wiki.py @@ -24,7 +24,7 @@ def collect_all_files() -> list[tuple[Path, str]]: files.append((src, "Home" if src.stem == "index" else src.stem)) for subdir in sorted(DOCS_DIR.iterdir()): - if subdir.is_dir(): + if subdir.is_dir() and subdir.name != "patches": for src in from_dir(subdir): files.append((src, src.stem))