{"push_id":1433505396,"size":1,"distinct_size":1,"ref":"refs/heads/july2016","head":"a5fc751d5cd21fb9b77ced193c301060e7134fec","before":"7c049ce22890c19e0d2ba094c264bbd0eb0a2118","commits":[{"sha":"a5fc751d5cd21fb9b77ced193c301060e7134fec","author":{"name":"Michal Konecny","email":"e310bbe36ab59fd18d6d52a1b89eac8d32b4ee06@gmail.com"},"message":"ChPoly multiplication: use DCT only for exact ps","distinct":true,"url":"https://api.github.com/repos/michalkonecny/aern2/commits/a5fc751d5cd21fb9b77ced193c301060e7134fec"}]}
{"actor":{"display_login":"michalkonecny"}}