{"push_id":566477220,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"3dde693fdcdcf6b5d9ed3e239aa3d1773faaf2e2","before":"c33992babb086c5179718f8559608d26b409572a","commits":[{"sha":"3dde693fdcdcf6b5d9ed3e239aa3d1773faaf2e2","author":{"email":"28977af2317e000e041c10d9b2a51306a1bcdebe@gmail.com","name":"tobias-raski"},"message":"Delete .DS_Store","distinct":true,"url":"https://api.github.com/repos/tobias-raski/prover/commits/3dde693fdcdcf6b5d9ed3e239aa3d1773faaf2e2"}]}