diff options
author | Adin Scannell <ascannell@google.com> | 2020-04-22 12:11:38 -0700 |
---|---|---|
committer | gVisor bot <gvisor-bot@google.com> | 2020-04-22 12:12:49 -0700 |
commit | c31641150d9ee0e4b9c7cf1210c4e89a030a6bd7 (patch) | |
tree | 649b99c51111f0ca0fac0385720f0587e4ef9f8e /.github/pull_request_template.md | |
parent | a27d6329df96d50b5b5cd4b550ca024cc3f0b16c (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.md | 5 |
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! |