Commit Graph
66 Commits
Author SHA1 Message Date
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 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
Tirsvad 8d62ea0d56 Generate the English wiki pages from README.md and guides/
Validate workflows / validate (pull_request) Successful in 13s
Add tools/build_wiki.py, which builds the five English wiki pages into
wiki/, rewrites links so they work inside the wiki and reports pages that
differ from their sources. Offline tests cover the conversion and assert
that the committed pages are current.

Task: MIL-005#3
2026-10-10 08:53:30 +08:00
Tirsvad bef58e75c7 Merge pull request 'Review and accept the MIL-005 publishing amendment (RC-011)' (#41) from mil-005-accept-publishing into main
Validate workflows / validate (push) Successful in 15s
TirSystem/github-action: Sync GitHub mirror metadata / sync-metadata (push) Successful in 4s
Reviewed-on: #41
2026-10-10 02:50:05 +02:00
Tirsvad 3ab0a9789c Resolve pending commit links in MIL-005, TM-001 and RC-011
Validate workflows / validate (pull_request) Successful in 16s
2026-10-10 08:49:16 +08:00
Tirsvad 20361e881e Review and accept the MIL-005 publishing amendment (RC-011)
Add review record RC-011, accept MIL-005 and update TM-001.
2026-10-10 08:49:15 +08:00
Tirsvad 5a38842e4d Merge pull request 'Amend MIL-005: publish the wiki from wiki/ through a workflow' (#40) from mil-005-wiki-publishing into main
Validate workflows / validate (push) Successful in 15s
TirSystem/github-action: Sync GitHub mirror metadata / sync-metadata (push) Successful in 3s
Reviewed-on: #40
2026-10-10 02:48:23 +02:00
Tirsvad 1114b742dc Resolve pending commit link in MIL-005
Validate workflows / validate (pull_request) Successful in 15s
2026-10-10 08:46:28 +08:00
Tirsvad 77c52779c4 Amend MIL-005: publish the wiki from wiki/ through a workflow on merge
Records the decision for task 2: the page source lives in this repository,
reaches the wiki repository only through a workflow, and the agent never
pushes to it. Adds task 8 for the publishing workflow and a Go/No-Go
criterion that no manual push exists.
2026-10-10 08:46:27 +08:00
Tirsvad bfd5be2b88 Merge pull request 'Link the MIL-005 Milestone in PP-001' (#39) from mil-005-milestone-link into main
Validate workflows / validate (push) Successful in 14s
TirSystem/github-action: Sync GitHub mirror metadata / sync-metadata (push) Successful in 4s
Reviewed-on: #39
2026-10-10 02:31:26 +02:00
Tirsvad d6fe7c60ab Link the MIL-005 Milestone in the Gateway Schedule of PP-001
Validate workflows / validate (pull_request) Successful in 14s
2026-10-10 08:30:39 +08:00
Tirsvad fb502ce871 Merge pull request 'Review and accept BC-001, PP-001 and MIL-005 (RC-008 to RC-010)' (#31) from mil-005-wiki-and-translations into main
TirSystem/github-action: Sync GitHub mirror metadata / sync-metadata (push) Successful in 3s
Validate workflows / validate (push) Successful in 14s
Reviewed-on: #31
2026-10-10 02:28:54 +02:00
Tirsvad dd9f407131 Resolve pending commit links in RC-008 to RC-010 and TM-001
Validate workflows / validate (pull_request) Successful in 13s
2026-10-10 08:27:39 +08:00
Tirsvad ae4e257236 Review and accept BC-001, PP-001 and MIL-005 (RC-008 to RC-010)
Add review records, fix the last decision date in PP-001 and update TM-001.
2026-10-10 08:27:37 +08:00
Tirsvad 5137ce23ae Merge pull request 'Plan MIL-005: wiki pages in English, Danish and Bahasa Malaysia' (#30) from mil-005-wiki-and-translations into main
Validate workflows / validate (push) Successful in 14s
TirSystem/github-action: Sync GitHub mirror metadata / sync-metadata (push) Successful in 3s
Reviewed-on: #30
2026-10-10 02:26:00 +02:00
Tirsvad 49a5b0ef8e Resolve pending commit links in BC-001, PP-001 and MIL-005
Validate workflows / validate (pull_request) Successful in 13s
2026-10-10 08:22:23 +08:00
Tirsvad 08ef26a6d3 Plan MIL-005: wiki pages in English, Danish and Bahasa Malaysia
Add milestone MIL-005 with seven tasks, schedule it in PP-001, add the wiki
to the Business Case scope and record the wiki languages in the registry.
The milestone is Proposed; no wiki work starts before it is accepted.
2026-10-10 08:22:22 +08:00
Tirsvad 975291092d Merge pull request 'Add review records RC-001 to RC-007 and traceability matrix TM-001' (#29) from skip-sync-without-github-mirror into main
Validate workflows / validate (push) Successful in 22s
TirSystem/github-action: Sync GitHub mirror metadata / sync-metadata (push) Successful in 3s
Reviewed-on: #29
2026-10-10 02:16:50 +02:00
Tirsvad 5f5e9cfced Resolve pending commit links in TM-001 and RC-001 to RC-007
Validate workflows / validate (pull_request) Successful in 12s
2026-10-10 08:06:50 +08:00
Tirsvad 0799b43888 Record that S01 stood in for S05 and that review independence is still open 2026-10-10 08:06:48 +08:00
Tirsvad bc914904d0 Resolve pending commit links in TM-001 and RC-001 2026-10-10 08:04:26 +08:00
Tirsvad ba1c6bea74 Accept RC-001 to RC-007 and TM-001 after S05 review 2026-10-10 08:04:25 +08:00
Tirsvad a7b2035441 Resolve pending commit links in TM-001 and RC-004 to RC-007 2026-10-10 08:03:31 +08:00
Tirsvad aa3f08876d Add traceability matrix TM-001 and review records RC-004 to RC-007 2026-10-10 08:03:30 +08:00
Tirsvad f01d0f7caa Resolve pending commit links in RC-001 to RC-003 2026-10-10 08:00:51 +08:00