jyapayne/Nim
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

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

Browse source 
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.
This commit is contained in:
flywind 2021-12-06 17:04:54 +08:00 • committed by GitHub
commit faacd63bf6
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

3
doc/contributing.rst
View file

@ -10,6 +10,9 @@ Contributing
Contributing happens via "Pull requests" (PR) on github. Every PR needs to be 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. 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. The PR has to be approved by two core developers or by Araq.