We've had a lot of contributions with PRs recently (much appreciated!).
We've also had a chance to further tidy up our developer guide (
which now recommends use of the git pre-commit hook (so you can catch most
errors in about 20s, at the git-commit stage).
If you're considering sending a PR, please do look at the developer guide.