Update CONTRIBUTING.md
Update following discussion in
@@ -35,6 +35,7 @@ All developers including new distributions and plugin developers are invited to
- Avoid merging master in your branch because it makes code review a lot harder.
- If you want to keep your branch up to date with our master, it would be nicer if you could just rebase your branch instead. That would keep the history a lot cleaner.
- Please avoid adding unrelated changes in the PR. Do a separate PR and rebase once they get merged can work really well.
+- It is important that pull requests are used systematically, even by those who have the rights to merge them.
If you make trivial changes, you can send them directly via a pull request. **Please make your changes in a new git branch and send your patch**, including appropriate test cases.
