diff options
-rw-r--r-- | .gitignore | 3 | ||||
-rw-r--r-- | CHANGELOG.md | 1 | ||||
-rw-r--r-- | website/docs/community.md | 2 |
3 files changed, 5 insertions, 1 deletions
@@ -1,9 +1,10 @@ bench.sh dev.log deploy.sh -/releases +release.zip /target **/*.rs.bk screens /website/site build +trav diff --git a/CHANGELOG.md b/CHANGELOG.md index 60bc10a..183201a 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,6 +1,7 @@ ### master - fix a case of bad selection after search then another search interrupted (#147) - `--set-install-state` can be used in tests or manual installs to set the installation state +- Raspberry now a default target available in installation page <a name="v0.11.8"></a> ### v0.11.8 - 2020-01-12 diff --git a/website/docs/community.md b/website/docs/community.md index 220d5f2..acef951 100644 --- a/website/docs/community.md +++ b/website/docs/community.md @@ -25,6 +25,8 @@ Before posting a new issue, check your problem hasn't already been raised and in Before starting working on a Pull Request, please join the Miaou room to coordinate the developement. There are frequently several feature branchs waiting to be merged and adding some wild ones may make the process painful. +A PR must be also be *focused*. Don't touch other code and don't refactor or reformat without discussion. + If you think you might help, as a tester or coder, you're welcome. ## This documentation... |