Sync from GitHub main: Gitea Actions workflow guards + .gitea release

2026-05-08 12:02:44 -04:00
parent 1ea724cd1f
commit e0a0421ce5
4 changed files with 110 additions and 0 deletions
@@ -11,6 +11,10 @@ on:

 jobs:
  sync:
+    # Gitea reads .github/workflows/ for compatibility, but this workflow
+    # pushes to a GitHub-hosted wiki. Skip on non-GitHub runners; the Gitea
+    # wiki is synced separately via scripts/sync-wiki.ps1.
+    if: github.server_url == 'https://github.com'
    runs-on: windows-latest
    permissions:
      contents: write