chore(github): Add Describe Doc Needs Reminder to PR Template (#982)

Helpful for quickly screening + prioritizing doc needs. Appreciated.
noir-lang · Mar 15, 2023 · 7955b1e · 7955b1e
1 parent 30d612d
commit 7955b1e
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/pull_request_template.md b/.github/pull_request_template.md
@@ -29,6 +29,8 @@ Resolves # <!-- link to issue -->
 ## Documentation needs
 - [ ] This PR requires documentation updates when merged.
 
+<!-- If checked, list / describe what needs to be documented. -->
+
 # Additional context
 
 <!-- If applicable. -->