diff --git a/ci/gitea-settings.sh b/ci/gitea-settings.sh index 483e13c..0f2f156 100755 --- a/ci/gitea-settings.sh +++ b/ci/gitea-settings.sh @@ -42,9 +42,16 @@ # skip like spec-immutability's (UNDETERMINED, exit 3) rather than a hard block, so # that an unwired credential cannot lock the repository. # -# TO WIRE IT: create a Gitea repo secret GITEA_SETTINGS_TOKEN (a token that can read repo +# TO WIRE IT: create a Gitea repo secret SETTINGS_API_TOKEN (a token that can read repo # settings) — infra/gitea/set-ci-token.sh does it. Until then this stage skips LOUDLY and # the drift it exists to catch is still undetected. +# +# NOT `GITEA_SETTINGS_TOKEN`. This comment named that until 2026-09-29 and it instructed the +# reader to do something IMPOSSIBLE: Gitea reserves the `GITEA_` prefix for secret names and +# rejects the PUT with HTTP 400 "invalid secret name". That is not a style rule — it is why the +# detector sat inert for hours while a token existed and no secret did. The env var below still +# accepts GITEA_SETTINGS_TOKEN, but only for a LOCAL run: it can never be the CI wiring, because +# the secret that would feed it cannot be created at all. set -euo pipefail CI_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)" REPO_ROOT="$(cd "${CI_DIR}/.." && pwd)"