diff --git a/.github/PULL_REQUEST_TEMPLATE b/.github/PULL_REQUEST_TEMPLATE index 68620e8599..0cda89b65c 100644 --- a/.github/PULL_REQUEST_TEMPLATE +++ b/.github/PULL_REQUEST_TEMPLATE @@ -1,10 +1,12 @@ -Please title your PR as follows: `time: fix foo bar` +Please title your PR as follows: `time: fix foo bar`. + +Explain what your PR does and why. Do not use # to generate C code. This feature will be removed in a couple of days. -Squash commits into one if they all refer to one thing. Use `git rebase -i` for that. +Squash commits into one if they refer to the same thing. Use `git rebase -i` for that. -Before submitting a PR please run the tests with `make test`, and make sure V can still compile itself. Run this twice: +Before submitting a PR, please run the tests with `make test`, and make sure V can still compile itself. Run this twice: ./v -o v ./v -o v