{"push_id":1411374214,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"2ddb533cfc4eb04068d5036cf6d6193bfafb0515","before":"ec09ac7dd1fc77865b50fcbbd6a364374e41d734","commits":[{"sha":"2ddb533cfc4eb04068d5036cf6d6193bfafb0515","author":{"name":"keszegrobert","email":"9efbc1086709ef8920cb14f4a254b3c2a057c7e2@gmail.com"},"message":"fix of the basic tutorial's doubled Getting started section","distinct":true,"url":"https://api.github.com/repos/keszegrobert/z3pytutorial/commits/2ddb533cfc4eb04068d5036cf6d6193bfafb0515"}]}
{"actor":{"display_login":"keszegrobert"}}