Files
agw dd9b102b7d Record state.json through the Gitea API instead of git push
Git over HTTP is disabled on this Gitea ('Interacting with repositories by
HTTP protocol is not allowed'), and the URL the old script derived from the
SSH remote pointed HTTPS at the SSH port, so the first real publish failed
right after committing state.json. Create or update the file through the
contents API instead, with the runner's GITHUB_SERVER_URL/GITHUB_REPOSITORY.

Tested create, unchanged and update against a throwaway private repo, and
that the runner reaches the API through the edge.

Claude-Session: https://claude.ai/code/session_01GGe7kUhooMFuzY6GaDb2w9
2026-10-03 23:44:39 +02:00
..