{"push_id":823361620,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"997b1accbec2bb0503ef8df1f2795fb4d6776dc5","before":"1ac15bd0e29c1a6ea264bf35080d2c9269f76b0b","commits":[{"sha":"997b1accbec2bb0503ef8df1f2795fb4d6776dc5","author":{"email":"8da6dcb0014f8fa78e94dfc1e0eeb07c6119b3b5@gmail.com","name":"williamdemeo"},"message":"solved excluded_middle_irrefutable exercise","distinct":true,"url":"https://api.github.com/repos/TypeFunc/Coq/commits/997b1accbec2bb0503ef8df1f2795fb4d6776dc5"}]}