{"push_id":3156733560,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"3ae5d0582808ef4900501f8fb94c577c3ab78d28","before":"ff32b37796f8899059adf7fb4affe702c71f159d","commits":[{"sha":"3ae5d0582808ef4900501f8fb94c577c3ab78d28","author":{"name":"Paolo Capriotti","email":"f5973ee9c413d0967b98e0944688acb235fd48bf@capriotti.io"},"message":"Alternative definition of ordering of Nat","distinct":true,"url":"https://api.github.com/repos/pcapriotti/agda-base/commits/3ae5d0582808ef4900501f8fb94c577c3ab78d28"}]}
{"actor":{"display_login":"pcapriotti"}}