docs: document wiki-only PR exemption from branch enforcement

This commit is contained in:
jubnl
2026-05-03 18:48:39 +02:00
parent dba4b28380
commit 9592cc663f
4 changed files with 4 additions and 4 deletions
+1 -1
View File
@@ -127,7 +127,7 @@ git push origin fix/my-changes:dev
git push origin dev
```
Then open a Pull Request from your fork to `mauriceboe/TREK` targeting the `dev` branch.
Then open a Pull Request from your fork to `mauriceboe/TREK` targeting the `dev` branch. If your PR only modifies files under `wiki/`, it is exempt from branch enforcement and may target any branch.
---