Update PR template (#4213)

* Add point to checklist if guide has been updated * Update .github/PULL_REQUEST_TEMPLATE.md Co-authored-by: Romain Ruetschi <[email protected]> Signed-off-by: Luca Joss <[email protected]> --------- Signed-off-by: Luca Joss <[email protected]> Co-authored-by: Romain Ruetschi <[email protected]>
informalsystems · Oct 15, 2024 · f0fdea5 · f0fdea5
1 parent a737bf0
commit f0fdea5
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/PULL_REQUEST_TEMPLATE.md b/.github/PULL_REQUEST_TEMPLATE.md
@@ -25,6 +25,7 @@ ______
 - [ ] Added tests: integration (for Hermes) or unit/mock tests (for modules).
 - [ ] Linked to GitHub issue.
 - [ ] Updated code comments and documentation (e.g., `docs/`).
+  - [ ] If guide has been updated, tag GitHub user `mircea-c`
 - [ ] Tagged *one* reviewer who will be the one responsible for shepherding this PR.
 
 ### Reviewer checklist: