From 80853e76f2af0b604a62d7b1450354f714347119 Mon Sep 17 00:00:00 2001 From: Jens Tirsvad Nielsen Date: Sat, 10 Oct 2026 09:03:10 +0800 Subject: [PATCH] Add the wiki update rule to the pull request process 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. --- AGENTS.md | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/AGENTS.md b/AGENTS.md index aaa1f03..7ad1874 100644 --- a/AGENTS.md +++ b/AGENTS.md @@ -51,3 +51,11 @@ Rules that apply to every document: `framework/scripts/resolve-pending-commits.sh` and commit the result before opening the PR (no amend). Never ask for or perform the merge: a reviewer merges. +8. Keep the wiki current. A PR that changes a workflow under `.gitea/`, a file + in `guides/` or `README.md` also updates the matching pages in `wiki/`: + run `python tools/build_wiki.py` for the English pages (the tests fail when + they are out of date) and update the Danish (`da`) and Bahasa Malaysia + (`ms`) pages once they exist, naming the English source they follow. List + the wiki pages the PR changed in its description, or say "No wiki pages + changed: ". Never push to the wiki repository by hand: the publishing + workflow (MIL-005 task 8) copies `wiki/` there when the PR is merged. -- 2.54.0