From 7a9dada723ce6beb6767df9c0d111a465c62fdf1 Mon Sep 17 00:00:00 2001 From: Lukas Eder Date: Thu, 29 Mar 2018 17:40:23 +0200 Subject: [PATCH] Update CONTRIBUTING.md --- CONTRIBUTING.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index e6564aaaf3..cecb310a59 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -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.