diff options
| author | Marc Poulhiès <dkm@kataplop.net> | 2021-06-19 22:59:01 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-06-19 22:59:01 +0200 |
| commit | 8528f4b25f59cf10c093715d56f7a37c4ab6b732 (patch) | |
| tree | c85006a0f71b08e12bf23b60d212a6d92f82430b | |
| parent | 4f31d4bbe9ca68aebc05fd12be2751c32c25a9d7 (diff) | |
| download | gcc-8528f4b25f59cf10c093715d56f7a37c4ab6b732.zip gcc-8528f4b25f59cf10c093715d56f7a37c4ab6b732.tar.gz gcc-8528f4b25f59cf10c093715d56f7a37c4ab6b732.tar.bz2 | |
Update PULL_REQUEST_TEMPLATE.md
Reverting previous change.
Github is smart enough to filter out this block, but bors is not and pastes it in its commit message.
| -rw-r--r-- | .github/PULL_REQUEST_TEMPLATE.md | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/.github/PULL_REQUEST_TEMPLATE.md b/.github/PULL_REQUEST_TEMPLATE.md index 6966689..7bcb376 100644 --- a/.github/PULL_REQUEST_TEMPLATE.md +++ b/.github/PULL_REQUEST_TEMPLATE.md @@ -1,4 +1,3 @@ -<!-- THIS COMMENT IS INVISIBLE IN THE FINAL PR, BUT FEEL FREE TO REMOVE IT Thank you for making Rust GCC better! If your PR fixes an issue, you can add "Fixes #issue_number" into this @@ -18,5 +17,5 @@ Here is a checklist to help you with your PR. Note that you can skip the above if you are just opening a WIP PR in order to get feedback. --- ---> + *Please write a short comment explaining your change. |