From 9819680845babae42a38606a86b2826acb7efa4b Mon Sep 17 00:00:00 2001 From: Alex Medvednikov Date: Wed, 26 Jun 2019 13:39:38 +0200 Subject: [PATCH] Create PULL_REQUEST_TEMPLATE --- .github/PULL_REQUEST_TEMPLATE | 12 ++++++++++++ 1 file changed, 12 insertions(+) create mode 100644 .github/PULL_REQUEST_TEMPLATE diff --git a/.github/PULL_REQUEST_TEMPLATE b/.github/PULL_REQUEST_TEMPLATE new file mode 100644 index 0000000000..68620e8599 --- /dev/null +++ b/.github/PULL_REQUEST_TEMPLATE @@ -0,0 +1,12 @@ +Please title your PR as follows: `time: fix foo bar` + +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. + +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 + +Thanks a lot for your contribution!