{"push_id":579453998,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"ebf3d9579f6e0eeb4de92f3c8bfdc29ecd8b9a9d","before":"a6e4526576abc440332aad27106a0ec0563f2a4e","commits":[{"sha":"ebf3d9579f6e0eeb4de92f3c8bfdc29ecd8b9a9d","author":{"email":"ddcc4ac5236d18fa48663867cc1b2a8d023835f5@student.ethz.ch","name":"gagan"},"message":"Makefile changed","distinct":true,"url":"https://api.github.com/repos/eth-srl/Octagon/commits/ebf3d9579f6e0eeb4de92f3c8bfdc29ecd8b9a9d"}]}