diff options
author | David Neto <dneto@google.com> | 2017-12-21 19:25:31 +0300 |
---|---|---|
committer | David Neto <dneto@google.com> | 2017-12-22 01:43:47 +0300 |
commit | a27d673cef75d2c6b89bee297d08db6f02501c7a (patch) | |
tree | f5397866287bc322464a8159569e2f20c54c5f19 /CONTRIBUTING.md | |
parent | 4ba9dcc8a05bb0266e46135c6a48311dbc62524e (diff) |
CONTRIBUTING: If you fixed a bug, say so
Diffstat (limited to 'CONTRIBUTING.md')
-rw-r--r-- | CONTRIBUTING.md | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index b98ef9617..f945f88fa 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -57,6 +57,10 @@ your changes: * Create a pull request (PR) with your patch. * Make sure the PR description clearly identified the problem, explains the solution, and references the issue if applicable. +* If your patch completely fixes bug 1234, the commit message should say + `Fixes https://github.com/KhronosGroup/SPIRV-Tools/issues/1234` + When you do this, the issue will be closed automatically when the commit + goes into master. Also, this helps us update the [CHANGES](CHANGES) file. * Watch the continuous builds to make sure they pass. * Request a code review. |