Mike Hearn
ef2352a404
Adjustments to the PR checklist
...
* Use github task list format.
* Remove (seemingly?) duplicated items.
* People keep forgetting to delete the section so give up and just try to ensure the top line is edited.
* Add a police emoji to make it clear we're serious
2017-09-20 16:58:31 +02:00
Clinton Alexander
6a7f6a814e
Minor changes to PR template formatting - again
2017-09-05 18:08:51 +01:00
Clinton Alexander
bc28a2e062
Minor changes to PR template formatting
2017-09-05 18:08:29 +01:00
Clinton Alexander
8ded93c2a2
Minor changes to PR template.
2017-09-05 18:08:00 +01:00
Clinton Alexander
cb5ba4cc3b
Minor improvements to github templates.
2017-09-05 18:07:17 +01:00
Clinton Alexander
3ccddf91ea
Addressed release comments.
2017-09-05 17:38:53 +01:00
Clinton Alexander
ccf231440f
Added a page to explain testing.
2017-09-05 17:21:07 +01:00
Clinton Alexander
a86abc49aa
Addressed review comments.
2017-09-05 16:36:11 +01:00
Clinton Alexander
47e225825e
Added pull request and issue templates for GitHub.
2017-09-05 16:22:58 +01:00