{"push_id":759849838,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"28644c08378482568f1463a086f6d801c6aa67a5","before":"f055e27e28cee27a4a1774db640fa1975034c563","commits":[{"sha":"28644c08378482568f1463a086f6d801c6aa67a5","author":{"email":"44f878afe53efc66b76772bd845eb65944ed8232@jonmsterling.com","name":"Jonathan Sterling"},"message":"Fix/complete a number of proofs in wip/rec.jonprl\n\n@jozefg","distinct":true,"url":"https://api.github.com/repos/jonsterling/JonPRL/commits/28644c08378482568f1463a086f6d801c6aa67a5"}]}