Use bare tokens: PAT_FOR_GITHUB replaces CREDENTIALS_FOR_GITHUB #51

Merged
Tirsvad merged 4 commits from pat-for-github into main 2026-10-10 04:44:41 +02:00
4 Commits
Author SHA1 Message Date
Tirsvad 0439867e89 Resolve pending commit links in PP-001, RC-015 and TM-001
Validate workflows / validate (pull_request) Successful in 12s
2026-10-10 10:44:02 +08:00
Tirsvad b282e10741 Review and accept PP-001 (RC-015)
Add review record RC-015, remove JSON from the credential failures of UC
candidate 2 and the answered MIL-001 items from Open Issues, accept PP-001
and update TM-001.
2026-10-10 10:44:01 +08:00
Tirsvad ebf9ce9a1c Resolve pending commit link in PP-001
Validate workflows / validate (pull_request) Successful in 13s
2026-10-10 10:42:05 +08:00
Tirsvad a26a491737 Use bare tokens: PAT_FOR_GITHUB replaces CREDENTIALS_FOR_GITHUB
The sync workflow reads secrets.PAT_FOR_GITHUB as clear text and
parse_github_token and parse_gitea_token only check that the value is not
empty. No secret is JSON any more; the wiki publisher follows. Update the
tests, the guides, the README, PP-001 UC candidate 2 and the wiki pages with
their Danish and Bahasa Malaysia translations.

Task: MIL-002#5
2026-10-10 10:42:04 +08:00