{"push_id":2607347261,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"2730ae6c7226ffe57d3185c23544dc034bb81ded","before":"a64f7b192a2172850eb2020ea30b9e74c518703f","commits":[{"sha":"2730ae6c7226ffe57d3185c23544dc034bb81ded","author":{"name":"Sean Leather","email":"2ccc1a6a71b2dc7c558c8e7efb1daf4bcc7dbf67@gmail.com"},"message":"decidable_eq (finmap α β), has_emptyc (finmap α β)","distinct":true,"url":"https://api.github.com/repos/spl/lean-finmap/commits/2730ae6c7226ffe57d3185c23544dc034bb81ded"}]}
{"actor":{"display_login":"spl"}}