From 499413dbc4eaf0ef31de38b3f0d64a167e776047 Mon Sep 17 00:00:00 2001 From: Benjamin Bouvier Date: Thu, 17 Oct 2019 17:27:08 +0200 Subject: [PATCH] [contribution] Add a pull request template. --- cranelift/.github/pull_request_template.md | 12 ++++++++++++ 1 file changed, 12 insertions(+) create mode 100644 cranelift/.github/pull_request_template.md 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. + +