{"push_id":581571191,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"960cd450510e95134475642d52c6c3769cb042a5","before":"a4770711645ced7f357825db55ec700672ceca37","commits":[{"sha":"960cd450510e95134475642d52c6c3769cb042a5","author":{"email":"02bb38680ed0a8dd78c2bdcd27c380c905913d0a@gmail.com","name":"Victor Miraldo"},"message":"New structure","distinct":true,"url":"https://api.github.com/repos/VictorCMiraldo/msc-agda-tactics/commits/960cd450510e95134475642d52c6c3769cb042a5"}]}