{"push_id":591756004,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"2ea8e8da9a8f90de969fea26ee333763b768b646","before":"f28c2a1a3a105aa87b0a11a81fa5bedfe88103f8","commits":[{"sha":"2ea8e8da9a8f90de969fea26ee333763b768b646","author":{"email":"02bb38680ed0a8dd78c2bdcd27c380c905913d0a@gmail.com","name":"Victor Miraldo"},"message":"Small changes; RW library being used inside Rel","distinct":true,"url":"https://api.github.com/repos/VictorCMiraldo/msc-agda-tactics/commits/2ea8e8da9a8f90de969fea26ee333763b768b646"}]}