TOKEN_FOR_GITEA_WIKI is an optional key, checked and masked but never used
or asked for, so one .env can serve the wiki publishing too. GITHUB_PAT and
GITHUB_USER are documented as required only when GitHub is chosen.
The how-to for creating the access tokens moves from howto/ to the wiki as
AccessTokens in English, Danish and Bahasa Malaysia, with its pictures in
wiki/img/. README, Home and the sidebar link to it.
Adds MIL-010 with its review RC-033 and the matching plan, user story and
traceability rows.
Task: MIL-010#1
Task: MIL-010#2
Task: MIL-010#3
Closes#83Closes#84Closes#85
Add a Danish (.da) and a Bahasa Malaysia (.ms) page for each of the five
wiki pages, a language bar on every page and a three-language sidebar, as in
the wiki of TirSystem/github-action. Each translation records the sha256 of
the English page it follows and names English as authoritative.
Gitea stores a page whose name has a hyphen under an escaped address
(Getting-started.-), which the shared publish workflow does not match, so
the second run tried to create the page again and got HTTP 400. Use
GettingStarted and SshAndTokens, as the wiki of TirSystem/github-action
does.