{"push_id":1375929246,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"648dc02140c93458697369502a7b86859da59b5f","before":"50be59480ddf2d96a6587c97be98f46c8c5cb5be","commits":[{"sha":"8be14c75d8909d81c2c5971618d4b0afdfc16811","author":{"name":"¨Robin","email":"578a355ad00d37ad0c9c5aa22f9d6eb68c7611b8@gmail.com¨"},"message":"Make Computable consistent","distinct":true,"url":"https://api.github.com/repos/radams78/Univalence/commits/8be14c75d8909d81c2c5971618d4b0afdfc16811"},{"sha":"648dc02140c93458697369502a7b86859da59b5f","author":{"name":"¨Robin","email":"578a355ad00d37ad0c9c5aa22f9d6eb68c7611b8@gmail.com¨"},"message":"Ready for KeyRedex lemmas","distinct":true,"url":"https://api.github.com/repos/radams78/Univalence/commits/648dc02140c93458697369502a7b86859da59b5f"}]}
{"actor":{"display_login":"radams78"}}