mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Auto merge of #9157 - Rqnsom:pull_request_template, r=flip1995

Browse Source 
update pull request template

Improved suggestion for formatting lint names in the PR template to use this format:
[`lint_name`]

changelog: none
This commit is contained in:
bors 2022-07-12 16:07:38 +00:00
commit 07ab0e8741
1 changed files with 8 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
.github/PULL_REQUEST_TEMPLATE.md vendored
View File

@ -3,11 +3,15 @@ Thank you for making Clippy better!
We're collecting our changelog from pull request descriptions. We're collecting our changelog from pull request descriptions.
If your PR only includes internal changes, you can just write If your PR only includes internal changes, you can just write
`changelog: none`. Otherwise, please write a short comment `changelog: none`. Otherwise, please write a short comment
explaining your change. Also, it's helpful for us that explaining your change.
the lint name is put into brackets `[]` and backticks `` ` ` ``,
e.g. ``[`lint_name`]``.
If your PR fixes an issue, you can add "fixes #issue_number" into this It's also helpful for us that the lint name is put within backticks (`` ` ` ``),
and then encapsulated by square brackets (`[]`), for example:
```
changelog: [`lint_name`]: your change
```
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 PR description. This way the issue will be automatically closed when
your PR is merged. your PR is merged.