chore: consolidate platform split checks

scripts/gitea-sync-wiki.py

@@ -73,6 +73,7 @@ def main() -> int:
     parser.add_argument("--transport", choices=("git", "api"), default="git", help="sync through the wiki git repository or the Gitea REST API")
     parser.add_argument("--wiki-cache-dir", type=pathlib.Path, default=pathlib.Path("/tmp/codex-gitea-wiki-sync"), help="local cache for wiki git checkouts")
     parser.add_argument("--commit-message", default="Sync wiki from project files", help="commit message used by git transport")
+    parser.add_argument("--prune-managed", action="store_true", help="delete managed wiki pages whose source files are no longer discovered")
     parser.add_argument("--apply", action="store_true")
     args = parser.parse_args()
 
@@ -116,9 +117,17 @@ def main() -> int:
                         overwrite_unmanaged=args.overwrite_unmanaged,
                         commit_message=args.commit_message,
                         write_index=not bool(args.page),
+                        prune_managed=args.prune_managed and not bool(args.page),
                     )
                 else:
-                    sync_repo_wiki(repo, repo_sources, token, overwrite_unmanaged=args.overwrite_unmanaged, write_index=not bool(args.page))
+                    sync_repo_wiki(
+                        repo,
+                        repo_sources,
+                        token,
+                        overwrite_unmanaged=args.overwrite_unmanaged,
+                        write_index=not bool(args.page),
+                        prune_managed=args.prune_managed and not bool(args.page),
+                    )
             except GiteaError as exc:
                 failures += 1
                 print(f"error syncing wiki for {repo_key}: {exc}", file=sys.stderr)
@@ -267,7 +276,15 @@ def preview_sources(sources: list[WikiSource]) -> None:
             print(f"  ... {len(repo_sources) - 80} more")
 
 
-def sync_repo_wiki(repo: RepoInfo, sources: list[WikiSource], token: str, *, overwrite_unmanaged: bool, write_index: bool = True) -> None:
+def sync_repo_wiki(
+    repo: RepoInfo,
+    sources: list[WikiSource],
+    token: str,
+    *,
+    overwrite_unmanaged: bool,
+    write_index: bool = True,
+    prune_managed: bool = False,
+) -> None:
     target = infer_target(repo.root)
     client = GiteaClient(target, token)
     existing_pages = list_existing_wiki_pages(client, target.owner, target.repo)
@@ -311,6 +328,8 @@ def sync_repo_wiki(repo: RepoInfo, sources: list[WikiSource], token: str, *, ove
         )
     else:
         print(f"skipped {target.owner}/{target.repo} wiki:Codex-Project-Index during page-limited sync")
+    if prune_managed and write_index:
+        prune_managed_wiki_pages_api(client, target.owner, target.repo, existing_page_names, sources)
 
 
 def sync_repo_wiki_git(
@@ -321,6 +340,7 @@ def sync_repo_wiki_git(
     overwrite_unmanaged: bool,
     commit_message: str,
     write_index: bool = True,
+    prune_managed: bool = False,
 ) -> None:
     target = infer_target(repo.root)
     wiki_root = prepare_wiki_checkout(repo, cache_dir=cache_dir)
@@ -353,6 +373,8 @@ def sync_repo_wiki_git(
         )
     else:
         print(f"skipped {target.owner}/{target.repo} wiki:Codex-Project-Index during page-limited sync")
+    if prune_managed and write_index:
+        prune_managed_wiki_pages_git(wiki_root, sources)
     if not git_has_changes(wiki_root):
         print(f"unchanged {target.owner}/{target.repo} wiki repository")
         return
@@ -426,6 +448,38 @@ def write_wiki_page_file(wiki_root: pathlib.Path, title: str, content: str, *, o
     return "updated"
 
 
+def prune_managed_wiki_pages_git(wiki_root: pathlib.Path, sources: list[WikiSource]) -> None:
+    desired = {f"{wiki_file_stem(source.page_title)}.md" for source in sources}
+    desired.add(f"{wiki_file_stem('Codex-Project-Index')}.md")
+    for path in sorted(wiki_root.glob("*.md")):
+        if path.name in desired:
+            continue
+        current = read_text(path)
+        if MANAGED_MARKER not in current:
+            continue
+        path.unlink()
+        print(f"deleted stale managed wiki page {path.name}")
+
+
+def prune_managed_wiki_pages_api(
+    client: GiteaClient,
+    owner: str,
+    repo: str,
+    existing_page_names: dict[str, str],
+    sources: list[WikiSource],
+) -> None:
+    desired = {source.page_title for source in sources}
+    desired.add("Codex-Project-Index")
+    for title, page_name in sorted(existing_page_names.items()):
+        if title in desired:
+            continue
+        current = client.request_json("GET", repo_path(owner, repo, f"/wiki/page/{quote_wiki_page_name(page_name)}"))
+        if MANAGED_MARKER not in decode_wiki_content(current):
+            continue
+        client.request_json("DELETE", repo_path(owner, repo, f"/wiki/page/{quote_wiki_page_name(page_name)}"))
+        print(f"deleted stale managed wiki page {owner}/{repo}:{title}")
+
+
 def wiki_file_stem(title: str) -> str:
     return re.sub(r"[/\\]+", "-", title).strip() or "Home"