ale/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 18:17:13 +01:00			`<!--`
Close #1685 - Move developer documentation to a help file 2018-07-01 19:56:17 +01: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 21:53:39 +01:00
			`* Read the Contributing guide linked above first.`
Close #1685 - Move developer documentation to a help file 2018-07-01 19:56:17 +01: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 18:17:13 +01:00			`-->`