ale/.github/PULL_REQUEST_TEMPLATE.md

<!--
Before creating a pull request, do the following.

* Read the Contributing guide linked above first.
* Read the documentation that comes with ALE with `:help ale-development`.

Have fun!
-->
Comment-out the explanations in the Issue and PR templates 2017-04-23 17:17:13 +00:00			`<!--`
Close #1685 - Move developer documentation to a help file 2018-07-01 18:56:17 +00:00			`Before creating a pull request, do the following.`
Add a pull request template which asks for some common requests by yours truly 2017-04-08 20:53:39 +00:00
			`* Read the Contributing guide linked above first.`
Close #1685 - Move developer documentation to a help file 2018-07-01 18:56:17 +00:00			* Read the documentation that comes with ALE with `:help ale-development`.

			`Have fun!`
Comment-out the explanations in the Issue and PR templates 2017-04-23 17:17:13 +00:00			`-->`