From 820d8be89ecb7744aabd3edae5fe2de67f788ada Mon Sep 17 00:00:00 2001 From: Alexander Medvednikov Date: Thu, 27 Jun 2019 23:23:11 +0200 Subject: [PATCH] PR template: remove the "do not use #" note --- .github/PULL_REQUEST_TEMPLATE | 4 ---- 1 file changed, 4 deletions(-) diff --git a/.github/PULL_REQUEST_TEMPLATE b/.github/PULL_REQUEST_TEMPLATE index 8c839b8908..87ad6a72ac 100644 --- a/.github/PULL_REQUEST_TEMPLATE +++ b/.github/PULL_REQUEST_TEMPLATE @@ -3,10 +3,6 @@ Don't use past tense (e.g. "fixed 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 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: ./v -o v