Add the wiki update rule to the pull request process #44

Merged
Tirsvad merged 1 commits from mil-005-wiki-update-rule into main 2026-10-10 03:03:33 +02:00
1 Commits
Author SHA1 Message Date
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