From abe43eaa90096e634390f7d4e470ba787d94abeb Mon Sep 17 00:00:00 2001 From: Alex Medvednikov Date: Wed, 26 Jun 2019 13:42:56 +0200 Subject: [PATCH] Update PULL_REQUEST_TEMPLATE --- .github/PULL_REQUEST_TEMPLATE | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) 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