Commit Graph
89 Commits
Author SHA1 Message Date
Tirsvad b3f006f7a4 Record that reusable workflows work on the instance
Verified on 2026-10-10 with throwaway branches (deleted afterwards):
workflow_call and uses run from the same repository, another repository of
the organisation and a repository of another organisation, so MIL-003 needs
no copied-template fallback. Not tested: a private provider, secrets passed
to a called workflow, and a tag reference. Review it (RC-033) and update
TM-001.

Task: MIL-003#1
2026-10-10 13:32:29 +08:00
Tirsvad f99c8d545f Merge pull request 'Approve the token permissions and confirm the target dates (S01 standing in for S05)' (#66) from mil-002-token-scopes into main
Validate workflows / validate (push) Successful in 20s
TirSystem/github-action: Publish wiki / publish-wiki (push) Successful in 8s
TirSystem/github-action: Sync GitHub mirror metadata / sync-metadata (push) Successful in 2s
Reviewed-on: #66
2026-10-10 07:24:53 +02:00
Tirsvad e2c6bedb26 Resolve pending commit links in the milestones, PP-001, review records and TM-001
Validate workflows / validate (pull_request) Successful in 16s
2026-10-10 13:23:44 +08:00
Tirsvad ea06eaaa69 Approve the token permissions and confirm the target dates
S01, standing in for S05 (ADR-0002), approves the minimum Gitea and GitHub
token permissions, recorded with the evidence from the Gitea source and the
GitHub documentation; they are still not tested with a minimal token on the
instance. Confirm the target dates of MIL-001 to MIL-006 and PP-001 (RC-026
to RC-032), update TM-001 and regenerate the Credentials wiki page with its
translations.

Task: MIL-002#4
2026-10-10 13:23:40 +08:00
Tirsvad 5608630d3d Merge pull request 'Write and accept the brief use cases for the P1 candidates (UCD-001, US-001, UC-001 to UC-004)' (#65) from mil-002-use-cases into main
Validate workflows / validate (push) Successful in 14s
TirSystem/github-action: Sync GitHub mirror metadata / sync-metadata (push) Successful in 3s
Reviewed-on: #65
2026-10-10 07:07:15 +02:00
Tirsvad dc572470e7 Resolve pending commit links in the use case documents and review records
Validate workflows / validate (pull_request) Successful in 17s
2026-10-10 13:04:33 +08:00
Tirsvad a2bf2d4204 Write and accept the brief use cases for the P1 candidates
Add the use case diagram UCD-001, the user stories US-001 and the brief use
cases UC-001 to UC-004 (Synchronize Repository Metadata, Configure Workflow
Credentials, Onboard a Repository, Diagnose a Failed Workflow). Review and
accept them (RC-019 to RC-024) and the PP-001 row that records them
(RC-025), and update TM-001 and the registry.

Task: MIL-002#1
2026-10-10 13:04:30 +08:00
Tirsvad e73975e3a6 Merge pull request 'Match wiki pages by address so names with spaces are the same page' (#64) from mil-006-wiki-title-identity into main
Validate workflows / validate (push) Successful in 16s
TirSystem/github-action: Sync GitHub mirror metadata / sync-metadata (push) Successful in 4s
Reviewed-on: #64
2026-10-10 06:01:01 +02:00
Tirsvad b240ceb9f1 Match wiki pages by address so names with spaces are the same page
Validate workflows / validate (pull_request) Successful in 16s
Gitea stores the title "Home da" as Home-da. The publisher compared title
strings, so a file named Home-da.md would have tried to create a page that
already exists. Identify a page by the address Gitea reports (sub_url),
treat a space and a hyphen as the same, and refuse two files that name one
page. Found while preparing the pilot in sqa-qc-checklists, whose wiki has
pages named with spaces.

Task: MIL-006#3
2026-10-10 12:00:11 +08:00
Tirsvad 2dbc2819d4 Merge pull request 'Document how a repository opts in to wiki publishing' (#63) from mil-006-guides-and-wiki into main
TirSystem/github-action: Publish wiki / publish-wiki (push) Successful in 13s
TirSystem/github-action: Sync GitHub mirror metadata / sync-metadata (push) Successful in 3s
Validate workflows / validate (push) Successful in 13s
Reviewed-on: #63
2026-10-10 05:55:13 +02:00
Tirsvad de2e28e637 Document how a repository opts in to wiki publishing
Validate workflows / validate (pull_request) Successful in 16s
Describe the wiki/.publish marker and the prune word, the per-organisation
TOKEN_FOR_GITEA_WIKI without fallback, and the new messages in the
onboarding, credentials and troubleshooting guides and the README. Add the
capability row and regenerate the five English wiki pages with their Danish
and Bahasa Malaysia translations.

Task: MIL-006#5
2026-10-10 11:54:54 +08:00
Tirsvad e530ecd99d Merge pull request 'Make the wiki publisher a scoped workflow with an opt-in gate' (#62) from mil-006-scoped-publisher into main
Validate workflows / validate (push) Successful in 13s
TirSystem/github-action: Publish wiki / publish-wiki (push) Successful in 5s
TirSystem/github-action: Sync GitHub mirror metadata / sync-metadata (push) Successful in 3s
Reviewed-on: #62
2026-10-10 05:39:33 +02:00
Tirsvad c4bbea4a2b Make the wiki publisher a scoped workflow with an opt-in gate
Validate workflows / validate (pull_request) Successful in 12s
Embed the publish script in .gitea/scoped_workflows/publish-wiki.yml and
remove the repository workflow and tools/publish_wiki.py. A repository
publishes only when wiki/.publish exists; the word prune in it is the only
thing that lets the workflow delete pages. The organisation's
TOKEN_FOR_GITEA_WIKI is used with no fallback. This repository opts in with
prune. Tests run the embedded script against a fake Gitea.

Task: MIL-006#2
Task: MIL-006#3
2026-10-10 11:39:11 +08:00
Tirsvad 439de4ac60 Merge pull request 'Decide the opt-in rule and secret handling of the shared wiki publisher (ADR-0004)' (#61) from mil-006-adr-0004 into main
TirSystem/github-action: Sync GitHub mirror metadata / sync-metadata (push) Successful in 4s
Validate workflows / validate (push) Successful in 16s
Reviewed-on: #61
2026-10-10 05:34:49 +02:00
Tirsvad 92396e23c9 Resolve pending commit links in ADR-0004, RC-018 and TM-001
Validate workflows / validate (pull_request) Successful in 15s
2026-10-10 11:34:14 +08:00
Tirsvad b22a2cd592 Decide the opt-in rule and secret handling of the shared wiki publisher (ADR-0004)
A repository opts in with wiki/.publish; the word prune in it is the only
thing that lets the workflow delete pages. The shared workflow uses the
organisation's TOKEN_FOR_GITEA_WIKI only. Review and accept it (RC-018),
update TM-001 and link the MIL-006 milestone in PP-001.
2026-10-10 11:34:13 +08:00
Tirsvad 0230ed8c08 Merge pull request 'Review and accept MIL-006 and PP-001 (RC-016, RC-017)' (#55) from mil-006-accepted into main
Validate workflows / validate (push) Successful in 16s
TirSystem/github-action: Sync GitHub mirror metadata / sync-metadata (push) Successful in 3s
Reviewed-on: #55
2026-10-10 05:30:44 +02:00
Tirsvad bf11aa25db Resolve pending commit links in MIL-006, PP-001, RC-016, RC-017 and TM-001
Validate workflows / validate (pull_request) Successful in 13s
2026-10-10 11:30:23 +08:00
Tirsvad 676a262405 Review and accept MIL-006 and PP-001 (RC-016, RC-017)
Add review records RC-016 and RC-017, accept MIL-006 and the PP-001 row that
adds it, and update TM-001.
2026-10-10 11:30:21 +08:00
Tirsvad 8d0fab71b5 Merge pull request 'Plan MIL-006: shared wiki publishing' (#54) from mil-006-shared-wiki-publishing into main
TirSystem/github-action: Sync GitHub mirror metadata / sync-metadata (push) Successful in 4s
Validate workflows / validate (push) Successful in 13s
Reviewed-on: #54
2026-10-10 05:26:31 +02:00
Tirsvad be53de8f57 Resolve pending commit links in PP-001 and MIL-006
Validate workflows / validate (pull_request) Successful in 14s
2026-10-10 11:26:10 +08:00
Tirsvad 6b8e36d67a Plan MIL-006: shared wiki publishing
Add milestone MIL-006 with five tasks: a scoped publish-wiki workflow with
an opt-in rule, piloted in one other repository. Schedule it in PP-001.
The milestone is Proposed; no code starts before it is accepted.
2026-10-10 11:26:09 +08:00
Tirsvad e5b326213e Merge pull request 'Record that scoped workflow delivery is verified across organisations' (#53) from onboarding-scoped-delivery-verified into main
Publish wiki / publish-wiki (push) Successful in 10s
Validate workflows / validate (push) Successful in 14s
TirSystem/github-action: Sync GitHub mirror metadata / sync-metadata (push) Successful in 3s
Reviewed-on: #53
2026-10-10 05:25:54 +02:00
Tirsvad 0ecdcbe804 Record that scoped delivery is verified across organisations
Validate workflows / validate (pull_request) Successful in 13s
The onboarding guide said delivery to other repositories was not verified.
On 2026-10-10 the sync workflow ran without a copy in repositories of four
organisations, so a repository needs no copy and each organisation needs
its own secrets. Regenerate the Onboarding wiki page and its translations.

Task: MIL-002#2
2026-10-10 11:15:38 +08:00
Tirsvad b0dffbc1c3 Merge pull request 'Add the checklist for the wiki translation review' (#52) from wiki-translation-review-checklist into main
TirSystem/github-action: Sync GitHub mirror metadata / sync-metadata (push) Successful in 3s
Validate workflows / validate (push) Successful in 15s
Reviewed-on: #52
2026-10-10 05:02:27 +02:00
Tirsvad c0a0a10c4b Add the checklist for the wiki translation review
Validate workflows / validate (pull_request) Successful in 14s
A working document for the native readers of Danish and Bahasa Malaysia
(MIL-005 task 5): page list with links, ten checks per page, the judgement
calls to look at first, a findings table and an outcome table.
2026-10-10 11:02:02 +08:00
Tirsvad 7b37e40a79 Merge pull request 'Use bare tokens: PAT_FOR_GITHUB replaces CREDENTIALS_FOR_GITHUB' (#51) from pat-for-github into main
Validate workflows / validate (push) Successful in 14s
Publish wiki / publish-wiki (push) Successful in 12s
TirSystem/github-action: Sync GitHub mirror metadata / sync-metadata (push) Successful in 3s
Reviewed-on: #51
2026-10-10 04:44:41 +02:00
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
Tirsvad 1d2829d6e1 Merge pull request 'Record the S01 stand-in rule and the wiki publish token (ADR-0002, ADR-0003)' (#50) from mil-005-record-decisions into main
Validate workflows / validate (push) Successful in 12s
TirSystem/github-action: Sync GitHub mirror metadata / sync-metadata (push) Successful in 4s
Reviewed-on: #50
2026-10-10 04:34:23 +02:00
Tirsvad 481a381fbc Resolve pending commit links in ADR-0002, ADR-0003, RC-013, RC-014 and TM-001
Validate workflows / validate (pull_request) Successful in 13s
2026-10-10 10:29:37 +08:00
Tirsvad bc3bd07b29 Record the S01 stand-in rule and the wiki publish token decision
ADR-0002: an artifact approved by S01 counts as approved for the other
named reviewers, with the stand-in recorded. ADR-0003: the wiki is published
with a separate TOKEN_FOR_GITEA_WIKI, dot-named titles work. Add review
records RC-013 and RC-014 and update TM-001.
2026-10-10 10:29:35 +08:00
Tirsvad 1a9c9a32e7 Merge pull request 'Reuse TOKEN_FOR_GITEA for the wiki when no wiki secret exists' (#49) from mil-005-wiki-token-fallback into main
TirSystem/github-action: Sync GitHub mirror metadata / sync-metadata (push) Successful in 3s
Publish wiki / publish-wiki (push) Failing after 5s
Validate workflows / validate (push) Successful in 13s
Reviewed-on: #49
2026-10-10 04:05:12 +02:00
Tirsvad 0135b2763c Show the shape of a rejected wiki token in the error
Validate workflows / validate (pull_request) Successful in 14s
When Gitea answers 401, add the token's length and likely storage mistakes
(masked text, NAME=value, quotes, whitespace) to the message, without any
character of the token, so a wrongly stored secret can be recognised from
the log.

Task: MIL-005#8
2026-10-10 10:03:10 +08:00
Tirsvad 2eb852cfc6 Reuse TOKEN_FOR_GITEA for the wiki when TOKEN_FOR_GITEA_WIKI is absent
Validate workflows / validate (pull_request) Successful in 15s
The Publish wiki workflow now reads secrets.TOKEN_FOR_GITEA_WIKI ||
secrets.TOKEN_FOR_GITEA, so the existing token can publish the wiki when it
has write:repository. Update the missing-token message, the credentials and
troubleshooting guides, the README, the tests and the affected English
wiki pages with their Danish and Bahasa Malaysia translations.

Task: MIL-005#8
2026-10-10 09:36:47 +08:00
Tirsvad 3e18c991ce Merge pull request 'Add the Danish and Bahasa Malaysia wiki pages (drafts)' (#48) from mil-005-translations into main
Publish wiki / publish-wiki (push) Failing after 4s
Validate workflows / validate (push) Successful in 14s
TirSystem/github-action: Sync GitHub mirror metadata / sync-metadata (push) Successful in 3s
Reviewed-on: #48
2026-10-10 03:25:25 +02:00
Tirsvad 081c6b58f7 Add the Danish and Bahasa Malaysia wiki pages
Validate workflows / validate (pull_request) Successful in 15s
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
Tirsvad 0ddef2b695 Merge pull request 'Review and accept ADR-0001 (RC-012)' (#47) from mil-005-accept-adr-0001 into main
Validate workflows / validate (push) Successful in 14s
TirSystem/github-action: Sync GitHub mirror metadata / sync-metadata (push) Successful in 3s
Reviewed-on: #47
2026-10-10 03:20:24 +02:00
Tirsvad cf31238271 Resolve pending commit links in ADR-0001, RC-012 and TM-001
Validate workflows / validate (pull_request) Successful in 21s
2026-10-10 09:19:43 +08:00
Tirsvad d0618d929f Review and accept ADR-0001 (RC-012)
Add review record RC-012, accept the ADR with the decision stated in two
sentences and update TM-001.
2026-10-10 09:19:41 +08:00
Tirsvad 8767741c0c Merge pull request 'Decide the wiki structure, page names and languages (ADR-0001)' (#46) from mil-005-wiki-structure-decision into main
TirSystem/github-action: Sync GitHub mirror metadata / sync-metadata (push) Successful in 4s
Validate workflows / validate (push) Successful in 17s
Reviewed-on: #46
2026-10-10 03:14:54 +02:00
Tirsvad 20e02535bc Resolve pending commit link in ADR-0001
Validate workflows / validate (pull_request) Successful in 13s
2026-10-10 09:14:22 +08:00
Tirsvad f5fb0238f3 Decide the wiki structure, page names and languages (ADR-0001)
English pages are generated and have no suffix; translations are named
<Page>.da and <Page>.ms, written by hand in wiki/, reviewed and checked for
staleness through a source hash. Add the ADR type to the registry.
2026-10-10 09:14:21 +08:00
Tirsvad 611d665508 Merge pull request 'Add the wiki publishing workflow' (#45) from mil-005-wiki-publishing-workflow into main
Publish wiki / publish-wiki (push) Failing after 4s
Validate workflows / validate (push) Successful in 14s
TirSystem/github-action: Sync GitHub mirror metadata / sync-metadata (push) Successful in 5s
Reviewed-on: #45
2026-10-10 03:06:38 +02:00
Tirsvad 1472513421 Add the wiki publishing workflow
Validate workflows / validate (pull_request) Successful in 15s
Add tools/publish_wiki.py and the Publish wiki workflow, which make the
Gitea wiki equal wiki/ through the wiki REST API when a change to wiki/ is
merged to main. It needs its own secret TOKEN_FOR_GITEA_WIKI, refuses an
empty source and checks that the English pages are current first.

Document the secret in the credentials and troubleshooting guides and
regenerate the affected wiki pages.

Task: MIL-005#8
2026-10-10 09:06:13 +08:00
Tirsvad 334b214a12 Merge pull request 'Add the wiki update rule to the pull request process' (#44) from mil-005-wiki-update-rule into main
Validate workflows / validate (push) Successful in 13s
TirSystem/github-action: Sync GitHub mirror metadata / sync-metadata (push) Successful in 4s
Reviewed-on: #44
2026-10-10 03:03:33 +02:00
Tirsvad 80853e76f2 Add the wiki update rule to the pull request process
Validate workflows / validate (pull_request) Successful in 13s
AGENTS.md rule 8: a PR that changes a workflow, a guide or the README also
updates the matching wiki pages and lists them in its description. The
wiki is never pushed to by hand.
2026-10-10 09:03:10 +08:00
Tirsvad 5ef76ec263 Merge pull request 'Generate the English wiki pages from README.md and guides/' (#43) from mil-005-english-wiki-pages into main
Validate workflows / validate (push) Successful in 16s
TirSystem/github-action: Sync GitHub mirror metadata / sync-metadata (push) Successful in 3s
Reviewed-on: #43
2026-10-10 02:54:59 +02:00