diff options
Diffstat (limited to '.github/PULL_REQUEST_TEMPLATE.md')
| -rw-r--r-- | .github/PULL_REQUEST_TEMPLATE.md | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/.github/PULL_REQUEST_TEMPLATE.md b/.github/PULL_REQUEST_TEMPLATE.md deleted file mode 100644 index 2b401a4..0000000 --- a/.github/PULL_REQUEST_TEMPLATE.md +++ /dev/null @@ -1,11 +0,0 @@ -Provide a general description of the changes in your pull request. If this pull -request fixes a known issue, please tag it as well (e.g.: `Fixes #1`). In any -case: - -- [ ] Write a [good commit message](https://chris.beams.io/posts/git-commit/). -- [ ] You are sure that `make all` continues to work. -- [ ] The game continues to work. -- [ ] The pull request has *only* one subject and a clear title. You are not - submitting a pull request with tons of different unrelated commits. - -Thanks! |