Build #4:   Release v0.2.0 on branch master about 5 years ago

Build #80:   Merge 940bbd00a877ee953b918e1a8eedd122249dcb2d into 7c6186ba8a90d9406d2b79351081373a52b... on branch master over 5 years ago

Build #5:   Initial release with badges. on branch master over 6 years ago

Build #13:   fixes realm not used in OpenID request on branch feature/revisions almost 7 years ago