{"push_id":1215365785,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"cc9cac6123d61be862b89754621c039d71467757","before":"63fa35ba39711e94f3dd099e02868f8fa93dc34c","commits":[{"sha":"cc9cac6123d61be862b89754621c039d71467757","author":{"name":"Michal Konečný","email":"e310bbe36ab59fd18d6d52a1b89eac8d32b4ee06@gmail.com"},"message":"fnreps: updated charts for new PPoly division","distinct":true,"url":"https://api.github.com/repos/michalkonecny/aern2/commits/cc9cac6123d61be862b89754621c039d71467757"}]}
{"actor":{"display_login":"michalkonecny"}}