{"push_id":847304557,"size":1,"distinct_size":1,"ref":"refs/heads/sv-comp16","head":"0785cb75377499a8c33606148016a6e2d5f6a296","before":"3c02d2f8844bc2061ea6eee010cdd86e8dc7daca","commits":[{"sha":"0785cb75377499a8c33606148016a6e2d5f6a296","author":{"email":"96800b34913a4f6c206b6903cbed181b182a503b@gmail.com","name":"Martin Hruska"},"message":"vata update","distinct":true,"url":"https://api.github.com/repos/martinhruska/forester/commits/0785cb75377499a8c33606148016a6e2d5f6a296"}]}