{"push_id":1230200060,"size":4,"distinct_size":1,"ref":"refs/heads/master","head":"cd91ada819b198a8605bb38b431f86e63937a58c","before":"b4076ab6d388f559a1dc93b6ce959b5b51f76d1a","commits":[{"sha":"95dd4b42f0ec84ca2b49f448ed7806cf5ecab321","author":{"name":"adrianmaler85","email":"89c850e44c4fcebb6e8aa55c8ec676d8aa9e4cf9@gmail.com"},"message":"Add file: computable reals","distinct":false,"url":"https://api.github.com/repos/adrianmaler85/computable-analysis/commits/95dd4b42f0ec84ca2b49f448ed7806cf5ecab321"},{"sha":"517c848cda35e5847a6536fbb3ca3df212bf5a3d","author":{"name":"Adrian Maler","email":"89c850e44c4fcebb6e8aa55c8ec676d8aa9e4cf9@gmail.com"},"message":"New version of the RealNumber class","distinct":false,"url":"https://api.github.com/repos/adrianmaler85/computable-analysis/commits/517c848cda35e5847a6536fbb3ca3df212bf5a3d"},{"sha":"673451a51ddcf43c026f0b5eb7a7dbc6cc481c32","author":{"name":"Adrian Maler","email":"89c850e44c4fcebb6e8aa55c8ec676d8aa9e4cf9@gmail.com"},"message":"Separate testing ground for the RealNumber class","distinct":false,"url":"https://api.github.com/repos/adrianmaler85/computable-analysis/commits/673451a51ddcf43c026f0b5eb7a7dbc6cc481c32"},{"sha":"cd91ada819b198a8605bb38b431f86e63937a58c","author":{"name":"Adrian Maler","email":"89c850e44c4fcebb6e8aa55c8ec676d8aa9e4cf9@gmail.com"},"message":"Merge pull request #1 from adrianmaler85/computable-reals\n\nComputable reals","distinct":true,"url":"https://api.github.com/repos/adrianmaler85/computable-analysis/commits/cd91ada819b198a8605bb38b431f86e63937a58c"}]}
{"actor":{"display_login":"adrianmaler85"}}