Zayin/Ekklesia
3
0
Fork 0
Code Issues 1 Pull Requests 3 Actions Packages Projects Releases 8 Wiki Activity

docs: the server runs Gitea 1.27.2, not 1.24.2; say what it actually honours #61

Merged
Zayin_Admin merged 1 commits from docs/gitea-1.27-ci-facts into main 2026-10-06 03:50:31 +00:00
Conversation 1 Commits 1 Files Changed 5
+57 -54
1 Commits
Author SHA1 Message Date
ekklesiaandClaude Opus 5.5 0ec1755279 docs: the server runs Gitea 1.27.2, not 1.24.2; say what it actually honours
CI / verify (pull_request) Successful in 54s
Details
CI / infrastructure-smoke (pull_request) Successful in 37s
Details
CI / migration-smoke (pull_request) Successful in 1m50s
Details
CI / image-build (pull_request) Successful in 18s
Details
CI / deploy-smoke (same-origin) (pull_request) Successful in 42s
Details
CI / deploy-smoke (split) (pull_request) Successful in 1m1s
Details 
The CI documentation, the workflow header, the README, ADR 0047 and the
sweep's comment all said the server was Gitea 1.24.2, which ignores
`permissions`, `concurrency` and `timeout-minutes`. The server reports
1.27.2 (GET /api/v1/version).

Each claim is now stated from what is verified on this server:
- `concurrency` is honoured, observed: Ekklesia runs 133 and 135 were
  cancelled when a newer run started for the same pull request;
- `permissions` is supported by 1.27 with Gitea's own scopes, but the
  token's actual authority is not visible through the API and not yet
  proven, so nothing claims the job token is read-only;
- `timeout-minutes` is no longer listed as unsupported, but is not
  verified, and teardown still relies on the stack sweep and a reaper.

Requirement 1 for executing untrusted contributions (upgrade to the
1.26 line or later) is marked done; items 2 and 3, configuring and
proving token authority, remain. ADR 0047 (still Proposed) restates
its "docker run, not a reusable workflow" reasons for 1.27, where
private sources are supported. The reasons still hold without the 1.24
argument.

Co-Authored-By: Claude Opus 5.5 <[email protected]>
 2026-10-05 22:11:00 -05:00