{"push_id":943212875,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"013a94b4372f38423d9f7ee13b4c95b9d630d653","before":"a95d6158a9b635f7856d2d090b4bfec706703c5e","commits":[{"sha":"013a94b4372f38423d9f7ee13b4c95b9d630d653","author":{"email":"e46a047ef0b3b6306e821d94d3a8ec272e4535b4@gmail.com","name":"Jos De Roo"},"message":"adding extra logging info inf/in=inferences_per_input_statement","distinct":true,"url":"https://api.github.com/repos/josd/eye/commits/013a94b4372f38423d9f7ee13b4c95b9d630d653"}]}