diff options
Diffstat (limited to '.github/PULL_REQUEST_TEMPLATE.md')
| -rw-r--r-- | .github/PULL_REQUEST_TEMPLATE.md | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/.github/PULL_REQUEST_TEMPLATE.md b/.github/PULL_REQUEST_TEMPLATE.md new file mode 100644 index 000000000..8b46434fc --- /dev/null +++ b/.github/PULL_REQUEST_TEMPLATE.md @@ -0,0 +1,28 @@ +<!-- Lines like this one are comments and will not be shown in the final output. --> +<!-- Make sure that you have read the "Contributing" section of the README and also the notes in CodingStyle. --> +<!-- If you are a collaborator, please add labels and assign other collaborators for a review. --> + +### Describe the pull request: +<!-- Replace [ ] with [x] to select options. --> +- [ ] Bug fix +- [ ] Functional change +- [ ] New feature +- [ ] Documentation change +- [ ] Language translation + +### Pull request long description: +<!-- Describe your pull request in detail. --> + +### Changes made: +<!-- Enumerate the changes with 1), 2), 3) etc. --> +<!-- Ensure the test cases are updated if needed. --> + +### Related issues: +<!-- Reference issues with #<issue-num>. --> +<!-- Write "Fixes #<issue-num" to notify Github that this PR fixes an issue. --> + +### Additional information: +<!-- Include sample dive log or other relevant information to allow testing the change where feasible. --> + +### Mentions: +<!-- Mention users that you want to review your pull request with @<user-name>. Leave empty if not sure. --> |