{"push_id":2568791748,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"3904d85d3f32496802b621b181c3cfe0b9940a43","before":"60813aa3f0c5c15fbd857bb8d5d041e71c4d7839","commits":[{"sha":"3904d85d3f32496802b621b181c3cfe0b9940a43","author":{"name":"Arthur Azevedo de Amorim","email":"e253e4b56e6784659d60022d121c0a9ca58018a8@gmail.com"},"message":"Remove extensional structures files.","distinct":true,"url":"https://api.github.com/repos/arthuraa/coq-utils/commits/3904d85d3f32496802b621b181c3cfe0b9940a43"}]}
{"actor":{"display_login":"arthuraa"}}