diff options
| author | bors <bors@rust-lang.org> | 2020-11-08 19:37:25 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2020-11-08 19:37:25 +0000 |
| commit | 040d0ca4dad523a029ec1186cd3b07bb2176a2a1 (patch) | |
| tree | 159ab187b535b8795287824c3d1b2bb37bec900d | |
| parent | 7079de9b357a642cd877e22f9a30c74dffbc003d (diff) | |
| parent | 7c612c1c5086fb52bed1e0c8f222af109c448267 (diff) | |
Auto merge of #6288 - flip1995:changelog_internal, r=matthiaskrgr
Require the `changelog:` entry in the PR body to be modified r? `@matthiaskrgr` changelog: none
| -rw-r--r-- | .github/PULL_REQUEST_TEMPLATE.md | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/.github/PULL_REQUEST_TEMPLATE.md b/.github/PULL_REQUEST_TEMPLATE.md index 6c92e10522c..a3f114e0bb3 100644 --- a/.github/PULL_REQUEST_TEMPLATE.md +++ b/.github/PULL_REQUEST_TEMPLATE.md @@ -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: |