From 291cef9fb7cb17dac89ad7a89ea1d7311b82a2e3 Mon Sep 17 00:00:00 2001 From: Eskil Uhlving Larsen <7443949+picccard@users.noreply.github.com> Date: Tue, 21 Oct 2025 23:03:47 +0200 Subject: [PATCH] chore: new docs paths in PR template --- .github/PULL_REQUEST_TEMPLATE.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.github/PULL_REQUEST_TEMPLATE.md b/.github/PULL_REQUEST_TEMPLATE.md index 1a985d93c..9cf64e12b 100644 --- a/.github/PULL_REQUEST_TEMPLATE.md +++ b/.github/PULL_REQUEST_TEMPLATE.md @@ -39,6 +39,8 @@ Fixes # ### 📖 Did you update documentation? > - [ ] ✅ Public docs in `docs` (required for `dev`) +> - [ ] ✅ Public docs in `docs-mslearn` (required for `dev`) +> - [ ] ✅ Internal dev docs in `docs-wiki` (required for `dev`) > - [ ] ✅ Internal dev docs in `src` (required for `dev`) > - [ ] ➡️ Will add docs in a future PR (feature branch PRs only) > - [ ] ❎ Docs not needed (small/internal change)