diff --git a/cranelift/.github/pull_request_template.md b/cranelift/.github/pull_request_template.md new file mode 100644 index 0000000000..d125ec7a7f --- /dev/null +++ b/cranelift/.github/pull_request_template.md @@ -0,0 +1,12 @@ +- [ ] This has been discussed in issue #..., or if not, please tell us why + here. +- [ ] A short description of what this does, why it is needed; if the + description becomes long, the matter should probably be discussed in an issue + first. +- [ ] This PR contains test cases, if meaningful. +- [ ] A reviewer from the core maintainer team has been assigned for this PR. + If you don't know who could review this, please indicate so and/or ping + `bnjbvr`. The list of suggested reviewers on the right can help you. + +