parent
fdc8d073e3
commit
5782186711
@ -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.
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user