We should have python tests running in the git push hook. I've just missed the following failing python test when merging #389. 
We should have python tests running in the git push hook.
I've just missed the following failing python test when merging #389.