aboutsummaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorCyril Cohen2019-05-29 14:40:46 +0200
committerCyril Cohen2019-05-29 14:40:46 +0200
commitb5cf3e104aa81fa28b5210203921ba272c300790 (patch)
tree867e4e87247f6107d6eba79519fa7bc300a71cd7 /.github
parent748d716efb2f2f75946c8386e441ce1789806a39 (diff)
pr template
Diffstat (limited to '.github')
-rw-r--r--.github/pull_request_template.md15
1 files changed, 15 insertions, 0 deletions
diff --git a/.github/pull_request_template.md b/.github/pull_request_template.md
new file mode 100644
index 0000000..c8c76bc
--- /dev/null
+++ b/.github/pull_request_template.md
@@ -0,0 +1,15 @@
+##### Motivation for this change
+
+##### Things done/to do
+
+<!-- please fill in the following checklist -->
+- [ ] added corresponding entries in CHANGELOG_UNRELEASED.md
+- [ ] added corresponding documentation in the headers
+
+<!-- leave this note as a reminder to reviewers -->
+##### Automatic note to reviewers
+
+Read [this
+Checklist](https://github.com/math-comp/math-comp/wiki/Checklist-for-following,-reviewing-and-playing-with-a-PR#checklist-for-reviewing-a-pr)
+
+and make sure there is a milestone.