{"push_id":902860532,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"f88f60b28f4d1e4107b71af5950a6ab3ae27946c","before":"51cc5058cbdedfc1347da4f4fa8bc54637a2ba46","commits":[{"sha":"f88f60b28f4d1e4107b71af5950a6ab3ae27946c","author":{"email":"df826d3d5a117222f3f5213c68522dd8cde3a6da@gmail.com","name":"Tommaso Soru"},"message":"ground clauses forwarded to inference","distinct":true,"url":"https://api.github.com/repos/mommi84/Mandolin/commits/f88f60b28f4d1e4107b71af5950a6ab3ae27946c"}]}