{"push_id":2473038232,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"7b3733fe4826a52ed9dcfb1066d992b000518b5a","before":"2405d9ec60e49a79037bb2c9b8b1a8ccc4cd71f9","commits":[{"sha":"7b3733fe4826a52ed9dcfb1066d992b000518b5a","author":{"name":"Robert","email":"cd648538b0ba9312af03e9aa776b611dd1ffa6a9@given.de"},"message":"No Message","distinct":true,"url":"https://api.github.com/repos/theoremprover/dgt/commits/7b3733fe4826a52ed9dcfb1066d992b000518b5a"}]}
{"actor":{"display_login":"theoremprover"}}