{"push_id":1032727857,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"0b1dd7ce189a470b3cf053da215b1310720007c8","before":"7f1873a3fc94f64afdbfbb8f8d62d650847d7ac4","commits":[{"sha":"7320dfbbb62c1362a245ba5a156a2554c55a959a","author":{"email":"3da8cb324fdf3e95b07dcb70be9bafcaa7fe363c@gmail.com","name":"Michal Konečný"},"message":"Small updates in abs and sqrt tests.","distinct":true,"url":"https://api.github.com/repos/michalkonecny/aern2/commits/7320dfbbb62c1362a245ba5a156a2554c55a959a"},{"sha":"262251110eb6abf00eecfac125974f05e83e7a0a","author":{"email":"3da8cb324fdf3e95b07dcb70be9bafcaa7fe363c@gmail.com","name":"Michal Konečný"},"message":"Module for sine and cosine.  Currently empty.","distinct":true,"url":"https://api.github.com/repos/michalkonecny/aern2/commits/262251110eb6abf00eecfac125974f05e83e7a0a"},{"sha":"0b1dd7ce189a470b3cf053da215b1310720007c8","author":{"email":"3da8cb324fdf3e95b07dcb70be9bafcaa7fe363c@gmail.com","name":"Michal Konečný"},"message":"Merge branch 'master' of git@github.com:michalkonecny/aern2.git\n\nResolved conflicts:\n\taern2-fnreps/aern2-fnreps.cabal\n\nFixed compilation error due to unwanted export.","distinct":true,"url":"https://api.github.com/repos/michalkonecny/aern2/commits/0b1dd7ce189a470b3cf053da215b1310720007c8"}]}