TirSystem/github-action
0
1
Fork 0
Code Issues 5 Pull Requests 1 Actions Packages Projects Releases 3 Wiki Activity

Amend MIL-005: publish the wiki from wiki/ through a workflow #40

Merged
Tirsvad merged 2 commits from mil-005-wiki-publishing into main 2026-10-10 02:48:24 +02:00
Conversation 0 Commits 2 Files Changed 1
+2 -1
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit 1114b742dc - Show all commits
docs/milestones/mil-005-wiki-and-translations.md
+2 -1
View File
@@ -10,7 +10,7 @@
| Date | Status | Author | Reviewer | Change | Commit |
| --- | --- | --- | --- | --- | --- |
| 2026-10-10 | Accepted | Jens Tirsvad Nielsen | S01 | Initial version | [08ef26a] |
| 2026-10-10 | Proposed | Jens Tirsvad Nielsen | S01 | Decided how the wiki is published: source in `wiki/`, published by a workflow on merge<br>Added task 8 | pending |
| 2026-10-10 | Proposed | Jens Tirsvad Nielsen | S01 | Decided how the wiki is published: source in `wiki/`, published by a workflow on merge<br>Added task 8 | [77c5277] |
---
@@ -80,3 +80,4 @@ to `main`, and a pull request rule in `AGENTS.md` keeps the wiki current.
[BC-001]: ../business-case.md
[08ef26a]: https://git.tirsystem.com/TirSystem/github-action/commit/08ef26a6d3eb98c066b45634c2271e578e6c0a0b
[77c5277]: https://git.tirsystem.com/TirSystem/github-action/commit/77c52779c46bca35dee4d73e587ca7b611373790