Add note in CONTRIBUTING.md about removing merge commits from PRs

2026-05-04 17:10:47 +00:00 · 2016-09-06 10:51:51 +02:00
parent f500e9b175
commit 020c7e327a
1 changed files with 2 additions and 0 deletions
@@ -11,6 +11,8 @@ to make the change, other impacts, future work etc. Keeping the title
 to 72 characters means it will display fully in git log and github logs.
 ```

+Merge commits should not be included in pull requests as they just muddy the history, please rebase when bringing code up to date against latest master.
+
 Code formatting
 ---------------