{"push_id":554660010,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"9230ade7632d899de58a5164505200b38921b879","before":"4d7cfce94aa59f98622db26ed819a81164d0bd15","commits":[{"sha":"dd48fd723fd780d3052d791cc9bb3ecea14c0ca4","author":{"email":"02bb38680ed0a8dd78c2bdcd27c380c905913d0a@gmail.com","name":"Victor Miraldo"},"message":"Made terms universe-polymorphic","distinct":true,"url":"https://api.github.com/repos/VictorCMiraldo/msc-agda-tactics/commits/dd48fd723fd780d3052d791cc9bb3ecea14c0ca4"},{"sha":"07c652b208f7d45a8aa717da719b0b1ad2bc30fc","author":{"email":"02bb38680ed0a8dd78c2bdcd27c380c905913d0a@gmail.com","name":"Victor Miraldo"},"message":"Clean-up and minor adjustments.","distinct":true,"url":"https://api.github.com/repos/VictorCMiraldo/msc-agda-tactics/commits/07c652b208f7d45a8aa717da719b0b1ad2bc30fc"},{"sha":"9230ade7632d899de58a5164505200b38921b879","author":{"email":"02bb38680ed0a8dd78c2bdcd27c380c905913d0a@gmail.com","name":"Victor Miraldo"},"message":"Added unification","distinct":true,"url":"https://api.github.com/repos/VictorCMiraldo/msc-agda-tactics/commits/9230ade7632d899de58a5164505200b38921b879"}]}