{"push_id":1352123472,"size":1,"distinct_size":1,"ref":"refs/heads/solver_dbg","head":"41c4a4a2b913e1371bdd4e1bc754765a94fb595c","before":"f9ce06e6ea1a93e846eb3cd0c2b67c287012059b","commits":[{"sha":"41c4a4a2b913e1371bdd4e1bc754765a94fb595c","author":{"name":"Andreas Janker","email":"b3c5322fdc30770e4c27e2f34626f983356735e2@googlemail.com"},"message":"typo","distinct":true,"url":"https://api.github.com/repos/aJanker/CSPLlift/commits/41c4a4a2b913e1371bdd4e1bc754765a94fb595c"}]}
{"actor":{"display_login":"aJanker"}}