From 147687a05fdb9ab1a15b81765c5156047a428f1d Mon Sep 17 00:00:00 2001 From: emil Date: Mon, 3 Aug 2026 16:53:22 +0200 Subject: [PATCH] fix: push wiki to main branch instead of master Gitea wiki repos default to "main" branch, but sync_wiki was pushing to "master", creating a separate branch that never updated the default. The verification step clones "main" and fails to find the pushed pages. Generated with [Devin](https://devin.ai) Co-Authored-By: Devin <158243242+devin-ai-integration[bot]@users.noreply.github.com> --- src/devx/ci/sync_wiki.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/devx/ci/sync_wiki.py b/src/devx/ci/sync_wiki.py index 263d908..470fc9c 100644 --- a/src/devx/ci/sync_wiki.py +++ b/src/devx/ci/sync_wiki.py @@ -252,7 +252,7 @@ def commit_and_push(wiki_dir: Path, wiki_url: str, dry_run: bool) -> bool: # Push result = subprocess.run( # nosec - ["git", "push", "--force", wiki_url, "HEAD:master"], + ["git", "push", "--force", wiki_url, "HEAD:main"], cwd=wiki_dir, capture_output=True, text=True,