summaryrefslogtreecommitdiffhomepage
path: root/.github/pull_request_template.md
diff options
context:
space:
mode:
authorAdin Scannell <ascannell@google.com>2020-04-22 12:11:38 -0700
committergVisor bot <gvisor-bot@google.com>2020-04-22 12:12:49 -0700
commitc31641150d9ee0e4b9c7cf1210c4e89a030a6bd7 (patch)
tree649b99c51111f0ca0fac0385720f0587e4ef9f8e /.github/pull_request_template.md
parenta27d6329df96d50b5b5cd4b550ca024cc3f0b16c (diff)
Add GitHub pull request template.
This just provides some sane reminders and ticks a box on the GitHub UI. This change also cleans up the issue template, as there is already an automatic link to the repository's security disclosure policy. PiperOrigin-RevId: 307868833
Diffstat (limited to '.github/pull_request_template.md')
-rw-r--r--.github/pull_request_template.md5
1 files changed, 5 insertions, 0 deletions
diff --git a/.github/pull_request_template.md b/.github/pull_request_template.md
new file mode 100644
index 000000000..264b4e9fa
--- /dev/null
+++ b/.github/pull_request_template.md
@@ -0,0 +1,5 @@
+* [ ] Have you followed the guidelines in [CONTRIBUTING.md](../blob/master/CONTRIBUTING.md)?
+* [ ] Have you formatted and linted your code?
+* [ ] Have you added relevant tests?
+* [ ] Have you added appropriate Fixes & Updates references?
+* [ ] If yes, please erase all these lines!