Update CONTRIBUTING.md

This commit is contained in:
Lukas Eder 2018-03-29 17:40:23 +02:00 committed by GitHub
parent 9f9d4f5bce
commit 7a9dada723
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -5,7 +5,7 @@ Thanks for offering your help.
In order to make our cooperation as smooth as possible, we have a couple of guidelines that we'd like you to follow:
- If in doubt, please discuss your ideas first before providing a pull request. This often helps avoid a lot of unnecessary work.
- **If in doubt, please discuss your ideas first before providing a pull request. This often helps avoid a lot of unnecessary work. In particular, we might prefer not to prioritise a particular feature for another while.**
- Fork the repository.
- Check out and work on your own fork.
- Try to make your commits as atomic as possible. Related changes to three files should be committed in one commit.