Compare commits

...
A pull request between these branches already exists: Patagia/patos#3

Fix status badge #3