{"push_id":735110171,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"7b56f653648c39c43fcd71c99e79952ecb8e6435","before":"f899083232419bffe276a0973961720afd9ca1fd","commits":[{"sha":"7b56f653648c39c43fcd71c99e79952ecb8e6435","author":{"email":"cd648538b0ba9312af03e9aa776b611dd1ffa6a9@given.de","name":"Robert"},"message":"No Message","distinct":true,"url":"https://api.github.com/repos/theoremprover/Civ/commits/7b56f653648c39c43fcd71c99e79952ecb8e6435"}]}