Files

T

Validate workflows / validate (pull_request) Successful in 15s

Details

Add the Danish and Bahasa Malaysia wiki pages

Draft ten translations (Home, Onboarding, Credentials, Troubleshooting,
Capabilities in da and ms) with the source hash header from ADR-0001, a
language switcher on every page and a term list. build_wiki.py --check now
reports missing or stale translations, and tests assert that translations
follow the structure of the English page.

The drafts await review by a native reader (MIL-005 task 5).

Task: MIL-005#4

2026-10-10 09:24:41 +08:00

4.1 KiB

Raw Blame History

Dette er en oversættelse af Credentials. Den engelske side er autoritativ, og ændringer her bliver overskrevet, næste gang wikien publiceres.

English | Dansk | Bahasa Melayu

Workflow-credentials

Synkroniseringsworkflowet bruger to secrets. Giv hver af dem de mindste rettigheder, der virker, gem den kun som en Gitea-secret, og skift den, når en person med adgang forlader teamet.

Secret	Indhold	Bruges til
`TOKEN_FOR_GITEA`	Et almindeligt token, en JSON-streng eller JSON med `GITEA_TOKEN`	At læse repositoryet (beskrivelse, emner) og dets push-spejle
`CREDENTIALS_FOR_GITHUB`	JSON-objekt med et `GITHUB_PAT`, der ikke er tomt	At ændre beskrivelse og emner på GitHub-spejlet

Mindste rettigheder

Disse kommer fra dokumentationen til Gitea og GitHub og fra de API-kald, workflowet foretager. De er endnu ikke bekræftet med et minimalt token på denne instans; S05 bør bekræfte dem, når tokens oprettes.

Gitea-token (et personal access token for en bruger, ikke en deploy key; deploy keys virker ikke til REST API'et):

scope read:repository
brugeren skal have lov til at læse repositoryets push-spejle, hvilket Gitea begrænser til repository-administratorer

Kald, der foretages: GET /repos/{owner}/{repo} og GET /repos/{owner}/{repo}/push_mirrors.

GitHub-token (fine-grained personal access token):

Resource owner: ejeren af spejl-repositoryet
Repository access: kun spejl-repositoryet
Repository permission: Administration: Read and write (ingen andre tilladelser)
Angiv en udløbsdato

Kald, der foretages: GET /repos/{owner}/{repo}, PATCH /repos/{owner}/{repo} (beskrivelse) og PUT /repos/{owner}/{repo}/topics.

Format for CREDENTIALS_FOR_GITHUB:

{"GITHUB_PAT": "<token>"}

Hvad workflowet kontrollerer, før det ændrer noget

Workflowet kører en forhåndskontrol (preflight) og skriver intet til GitHub, medmindre den består:

Begge secrets findes og har den forventede form.
Gitea accepterer tokenet, og repositoryet er synligt med det.
Højst ét GitHub push-spejl er konfigureret. Hvis der ingen er, slutter kørslen med succes uden at synkronisere, og GitHub-secreten bliver ikke læst.
GitHub accepterer tokenet for spejl-repositoryet og tokenet melder, at det har administrationsadgang.

Ved succes står der i loggen Preflight passed: Gitea and GitHub accepted the credentials. Fejl begynder med en kategori som [credentials] eller [permissions]; se troubleshooting.md. Ingen secret-værdi bliver nogensinde udskrevet.

Secret til publicering af wiki

Workflowet Publish wiki (kun dette repository) kopierer wiki/ til Gitea-wikien, når en ændring af wiki/ flettes til main. Det bruger sin egen secret, så synkroniseringstokens aldrig får skriveadgang.

Secret	Indhold	Bruges til
`TOKEN_FOR_GITEA_WIKI`	Et almindeligt token, en JSON-streng eller JSON med `GITEA_TOKEN`	At skrive wikisiderne for dette repository

Et Gitea personal access token med scope write:repository. Gitea har intet scope kun til wikien, så opret tokenet til en dedikeret bruger, der kun har skriveadgang til dette repository. S05 godkender scopet, og S03 gemmer secreten.
Kald, der foretages: GET /repos/{owner}/{repo}, GET /repos/{owner}/{repo}/wiki/pages, GET, POST og PATCH /repos/{owner}/{repo}/wiki/... og, for en side, der ikke længere findes i wiki/, DELETE /repos/{owner}/{repo}/wiki/page/{name}.
Wikien skal være aktiveret i repositoryets indstillinger. Workflowet nægter at køre, hvis den ikke er det.
Wikien er altid lig med wiki/: sider, der er redigeret eller tilføjet i Gitea's weboverflade, overskrives eller fjernes ved næste publicering.

Udskiftning af et token

Opret det nye token med de rettigheder, der er nævnt ovenfor.
Erstat secret-værdien i repositoryets eller organisationens indstillinger.
Kør workflowet manuelt, og vent på Preflight passed.
Tilbagekald det gamle token.

4.1 KiB Raw Blame History