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
+11 -5
2 Commits
Author SHA1 Message Date
Tirsvad 1114b742dc Resolve pending commit link in MIL-005
Validate workflows / validate (pull_request) Successful in 15s
Details
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