{"push_id":1893517586,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"7a4077a065cfbb77eb3b63ebd6f11b2fffafe474","before":"c2ce40a126d72867890ff0e31896d5f3d2e1a026","commits":[{"sha":"736520a3b4478002646dee595fc6644ed3020e91","author":{"name":"mikkonecny","email":"e310bbe36ab59fd18d6d52a1b89eac8d32b4ee06@gmail.com"},"message":"use mixed-types-num version 0.3","distinct":true,"url":"https://api.github.com/repos/michalkonecny/aern2/commits/736520a3b4478002646dee595fc6644ed3020e91"},{"sha":"7a4077a065cfbb77eb3b63ebd6f11b2fffafe474","author":{"name":"mikkonecny","email":"e310bbe36ab59fd18d6d52a1b89eac8d32b4ee06@gmail.com"},"message":"README: link to MixedTypesNumPrelude, regen docs","distinct":true,"url":"https://api.github.com/repos/michalkonecny/aern2/commits/7a4077a065cfbb77eb3b63ebd6f11b2fffafe474"}]}
{"actor":{"display_login":"michalkonecny"}}