clarify merge policy

math-comp · Feb 27, 2025 · b709261 · b709261
1 parent a4f7884
commit b709261
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/.github/pull_request_template.md b/.github/pull_request_template.md
@@ -20,6 +20,13 @@ Reference: [How to document](https://github.com/math-comp/math-comp/wiki/How-to-
 
 <!-- Cross-out the above items using ~crossed out item~ when irrelevant -->
 
+##### Merge policy
+
+As a rule of thumb:
+- PRs with several commits that make sense individually and that
+  all compile are preferentially merged into master.
+- PRs with disorganized commits are very likely to be squash-rebased.
+
 ##### Reminder to reviewers
 
 - Read [this Checklist](https://github.com/math-comp/math-comp/wiki/Checklist-for-creating-and-review-PRs)