{"push_id":1506028131,"size":1,"distinct_size":1,"ref":"refs/heads/rational-number-computation","head":"dc9e3dce6d574a619f05f5c594958720ec261d90","before":"a4538fbdc64b99dfeea4624c17207ea291157439","commits":[{"sha":"dc9e3dce6d574a619f05f5c594958720ec261d90","author":{"name":"Daniel R. Grayson","email":"8ba258345e8c7589d20364528ac4964f896605aa@math.uiuc.edu"},"message":"clean up rational-number-computation branch","distinct":true,"url":"https://api.github.com/repos/DanGrayson/UniMath/commits/dc9e3dce6d574a619f05f5c594958720ec261d90"}]}
{"actor":{"display_login":"DanGrayson"}}