{"push_id":3122927648,"size":1,"distinct_size":1,"ref":"refs/heads/inductives-as-initial-algebras","head":"642e3b2a46294432caee0aa1501d8a97e20651c0","before":"76be344d5cb41e548420dfa153b7688dac5861d2","commits":[{"sha":"642e3b2a46294432caee0aa1501d8a97e20651c0","author":{"name":"varkor","email":"64b2b6d12bfe4baae7dad3d018f8cbf6b0e7a044@varkor.com"},"message":"Do some computation","distinct":true,"url":"https://api.github.com/repos/varkor/UniMath/commits/642e3b2a46294432caee0aa1501d8a97e20651c0"}]}
{"actor":{"display_login":"varkor"}}