{"push_id":1182670473,"size":1,"distinct_size":1,"ref":"refs/heads/new-grammar","head":"20293f82c65ba1247054d48abc253a3eeead17e6","before":"263113a7b6643208e65b04213556dbbf3f13953f","commits":[{"sha":"20293f82c65ba1247054d48abc253a3eeead17e6","author":{"name":"¨Robin","email":"578a355ad00d37ad0c9c5aa22f9d6eb68c7611b8@gmail.com¨"},"message":"Failed attempt: first-order is a special case of second-order","distinct":true,"url":"https://api.github.com/repos/radams78/Univalence/commits/20293f82c65ba1247054d48abc253a3eeead17e6"}]}
{"actor":{"display_login":"radams78"}}