{"push_id":687214732,"size":1,"distinct_size":1,"ref":"refs/heads/gh-pages","head":"98b189f0ea205b51cebbde916c4992a8fdc29216","before":"4ba1d32e87091b8a78f37be935f2abfe9591a5ad","commits":[{"sha":"98b189f0ea205b51cebbde916c4992a8fdc29216","author":{"email":"f5973ee9c413d0967b98e0944688acb235fd48bf@capriotti.io","name":"Paolo Capriotti"},"message":"Update master: 2cba19b478afe7a5b1f64fb9b893c5b64c15e5a5","distinct":true,"url":"https://api.github.com/repos/pcapriotti/agda-base/commits/98b189f0ea205b51cebbde916c4992a8fdc29216"}]}