summaryrefslogtreecommitdiffstats
path: root/.github
diff options
context:
space:
mode:
authorDick Marinus <dick@mrns.nl>2019-09-28 04:34:34 +0200
committerIrina Truong <i.chernyavska@gmail.com>2019-09-27 19:34:34 -0700
commit67799b98ab2d6ced76b8e46c4d857943225beab9 (patch)
tree643230d99e253b41b8c443ff4970fe7d3af3631b /.github
parent88b829aa824deef1166e01ee5fa0ab8813e25cac (diff)
add optional but default squash merge request to PULL_REQUEST_TEMPLATE (#1095)
Diffstat (limited to '.github')
-rw-r--r--.github/PULL_REQUEST_TEMPLATE.md1
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)