{"push_id":642258513,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"1b9efc5359fb1751f94761720961702dbafd495b","before":"59d6d4e47698724664cf3e7b5df4489b5865331d","commits":[{"sha":"1b9efc5359fb1751f94761720961702dbafd495b","author":{"email":"5514b0ba4af5f4213d63380480e6fa4c6026dc24@epfl.ch","name":"ravi"},"message":"Updating conc trees","distinct":true,"url":"https://api.github.com/repos/ravimad/leon2015/commits/1b9efc5359fb1751f94761720961702dbafd495b"}]}