diff options
| author | Oliver Scherer <github35764891676564198441@oli-obk.de> | 2019-04-16 13:30:46 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-04-16 13:30:46 +0200 |
| commit | f33cbc152dc6fdd47cf1d5eb2343b53e0070c975 (patch) | |
| tree | 7af50b7166b50547230817d2e381d025053b44de | |
| parent | 275dbec86d0e39f2d784eabac557a8bfcf967206 (diff) | |
| download | rust-f33cbc152dc6fdd47cf1d5eb2343b53e0070c975.tar.gz rust-f33cbc152dc6fdd47cf1d5eb2343b53e0070c975.zip | |
Add new lint checklist
| -rw-r--r-- | .github/PULL_REQUEST_TEMPLATE | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/.github/PULL_REQUEST_TEMPLATE b/.github/PULL_REQUEST_TEMPLATE index 42865ffd2f8..85c74dbec3e 100644 --- a/.github/PULL_REQUEST_TEMPLATE +++ b/.github/PULL_REQUEST_TEMPLATE @@ -10,6 +10,15 @@ If your PR fixes an issue, you can add "fixes #issue_number" into this PR description. This way the issue will be automatically closed when your PR is merged. +If you added a new lint, here's a checklist for things that will be +checked during review or continuous integration. + +- [ ] Followed [lint naming conventions][lint_naming] +- [ ] Added passing UI tests (including committed `.stderr` file) +- [ ] `cargo test` passes locally +- [ ] Executed `util/dev update_lints` +- [ ] Added lint documentation + Delete this line and everything above before opening your PR --> changelog: none |