diff --git a/.github/pull_request_template.md b/.github/pull_request_template.md new file mode 100644 index 00000000..d369a6b5 --- /dev/null +++ b/.github/pull_request_template.md @@ -0,0 +1 @@ +- [] PRs are merged via `bors try`, without option to squash. Squash your commits in the PR before running `bors try`