mirror of
https://github.com/rust-lang/rust.git
synced 2024-11-29 10:13:54 +00:00
update pull request template
Improved suggestion for formatting lint names in the template: changelog: [`lint_name`]: your change
This commit is contained in:
parent
7c1598b399
commit
7f4e5d8cc4
12
.github/PULL_REQUEST_TEMPLATE.md
vendored
12
.github/PULL_REQUEST_TEMPLATE.md
vendored
@ -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.
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user