diff options
author | w0rp <devw0rp@gmail.com> | 2018-07-22 12:10:35 +0100 |
---|---|---|
committer | w0rp <devw0rp@gmail.com> | 2018-07-22 12:10:35 +0100 |
commit | 014c924630c38afcc402902ed712b54ff232d861 (patch) | |
tree | 68cf7ee8ac5a89267f8c1a7d1b834030cf578a96 /.github/PULL_REQUEST_TEMPLATE.md | |
parent | 04fbea6e80e010ffc242cc13daed6279f5d5aadf (diff) | |
download | ale-014c924630c38afcc402902ed712b54ff232d861.zip |
Move GitHub files to the .github directory
Diffstat (limited to '.github/PULL_REQUEST_TEMPLATE.md')
-rw-r--r-- | .github/PULL_REQUEST_TEMPLATE.md | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/.github/PULL_REQUEST_TEMPLATE.md b/.github/PULL_REQUEST_TEMPLATE.md new file mode 100644 index 00000000..8e1b5c57 --- /dev/null +++ b/.github/PULL_REQUEST_TEMPLATE.md @@ -0,0 +1,8 @@ +<!-- +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! +--> |