From 33d90956801ade51fdca01fe9f2c0fc8700ad990 Mon Sep 17 00:00:00 2001 From: Claude Date: Sat, 18 Apr 2026 14:50:41 +0000 Subject: [PATCH] docs: migrate wiki to mkdocs, retire wiki references MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit All documentation now lives in docs/ (mkdocs). The GitHub wiki is redundant — its content was fully migrated to the 45-page mkdocs site in PR #21. Update the PR template checklist to point to docs/ instead of the wiki. https://claude.ai/code/session_01ApiN484RaqQrQNgLRQgvrt --- .github/pull_request_template.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/pull_request_template.md b/.github/pull_request_template.md index 1ddf24f..e090847 100644 --- a/.github/pull_request_template.md +++ b/.github/pull_request_template.md @@ -15,7 +15,7 @@ - [ ] Benchmarks not regressed (check the automated benchmark comment on this PR) - [ ] New features include tests - [ ] Docstrings added/updated for public APIs -- [ ] `README.md` or wiki updated if user-facing behavior changed +- [ ] `README.md` or `docs/` updated if user-facing behavior changed ## Type of Change