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