the title of PR should contain a brief description (nim-lang#19211)

In addition to an issue number, the title of a PR should contain a brief description; then users can follow the progress more easily from the title.
PMunch · Mar 28, 2022 · 2ec0d2b · 2ec0d2b
1 parent 78ed775
commit 2ec0d2b
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/doc/contributing.rst b/doc/contributing.rst
@@ -10,6 +10,9 @@ Contributing
 
 Contributing happens via "Pull requests" (PR) on github. Every PR needs to be
 reviewed before it can be merged and the Continuous Integration should be green.
+The title of a PR should contain a brief description. If it fixes an issue,
+in addition to the number of the issue, the title should also contain a description 
+of the issue.
 
 The PR has to be approved by two core developers or by Araq.