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
..
ISSUE_TEMPLATE.md	Minor improvements to github templates.	2017-09-05 18:07:17 +01:00
PULL_REQUEST_TEMPLATE.md	Adjustments to the PR checklist	2017-09-20 16:58:31 +02:00