diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index eb43ae7b..96acc851 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -32,6 +32,10 @@ Also, make sure that your PRs do not contain unnecessary commits. If you think some of your commits should be merged into a single one, feel free to [squash them](https://git-scm.com/book/en/v2/Git-Tools-Rewriting-History). +Please [rebase](https://git-scm.com/book/en/v2/Git-Branching-Rebasing) outdated +PRs on master to help with the reviews (rebasing is preferred over merging to +keep a clean history in a branch/PR). + Additionally, give extra care to your commit messages, as they will help us review your PRs as well as help other contributors in the future, when exploring the history. The general rules are to [use the imperative present