diff options
author | Dick Marinus <dick@mrns.nl> | 2019-09-28 04:34:34 +0200 |
---|---|---|
committer | Irina Truong <i.chernyavska@gmail.com> | 2019-09-27 19:34:34 -0700 |
commit | 67799b98ab2d6ced76b8e46c4d857943225beab9 (patch) | |
tree | 643230d99e253b41b8c443ff4970fe7d3af3631b /.github | |
parent | 88b829aa824deef1166e01ee5fa0ab8813e25cac (diff) |
add optional but default squash merge request to PULL_REQUEST_TEMPLATE (#1095)
Diffstat (limited to '.github')
-rw-r--r-- | .github/PULL_REQUEST_TEMPLATE.md | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/PULL_REQUEST_TEMPLATE.md b/.github/PULL_REQUEST_TEMPLATE.md index f655bc70..35e8486b 100644 --- a/.github/PULL_REQUEST_TEMPLATE.md +++ b/.github/PULL_REQUEST_TEMPLATE.md @@ -9,3 +9,4 @@ - [ ] I've added my name to the `AUTHORS` file (or it's already there). <!-- We would appreciate if you comply with our code style guidelines. --> - [ ] I installed pre-commit hooks (`pip install pre-commit && pre-commit install`), and ran `black` on my code. +- [x] Please squash merge this pull request (uncheck if you'd like us to merge as multiple commits) |