{"push_id":551651663,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"58eac7e3e79dcbb28833a1d59c35a878f40ff189","before":"10d9b5ce4b1a3f0a1cc413a9535523267daad652","commits":[{"sha":"7d4e6eba81ac7a76cf79142a36fdf9a9fc45e6d6","author":{"email":"64b2b6d12bfe4baae7dad3d018f8cbf6b0e7a044@adrianomelo.com","name":"Adriano Melo"},"message":"execReasoner.sh: using the sime timeout program from competition","distinct":true,"url":"https://api.github.com/repos/adrianomelo/leancor/commits/7d4e6eba81ac7a76cf79142a36fdf9a9fc45e6d6"},{"sha":"58eac7e3e79dcbb28833a1d59c35a878f40ff189","author":{"email":"64b2b6d12bfe4baae7dad3d018f8cbf6b0e7a044@adrianomelo.com","name":"Adriano Melo"},"message":"output: typo fix","distinct":true,"url":"https://api.github.com/repos/adrianomelo/leancor/commits/58eac7e3e79dcbb28833a1d59c35a878f40ff189"}]}