user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Merge commit '3e7c6dec24' into clippyup

Browse source
This commit is contained in:
flip1995 2020-11-23 13:51:04 +01:00
commit dfac9be082
No known key found for this signature in database
GPG key ID: 1CA0DF2AF59D68A5
141 changed files with 3104 additions and 876 deletions
Download patch file Download diff file Expand all files Collapse all files

8
src/tools/clippy/.github/PULL_REQUEST_TEMPLATE.md vendored
View file

@ -1,8 +1,8 @@
Thank you for making Clippy better!
We're collecting our changelog from pull request descriptions.
If your PR only updates to the latest nightly, you can leave the
`changelog` entry as `none`. Otherwise, please write a short comment
If your PR only includes internal changes, you can just write
`changelog: none`. Otherwise, please write a short comment
explaining your change.
If your PR fixes an issue, you can add "fixes #issue_number" into this
@ -28,5 +28,5 @@ Delete this line and everything above before opening your PR.
---
*Please keep the line below*
changelog: none
*Please write a short comment explaining your change (or "none" for internal only changes)*
changelog: