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!