{"push_id":1084376701,"size":1,"distinct_size":1,"ref":"refs/heads/cocont2","head":"32509130e6a0b61a9b73b3a481feb161a6ae9200","before":"82fe8220a919687be49d665b02604c172093c4a5","commits":[{"sha":"32509130e6a0b61a9b73b3a481feb161a6ae9200","author":{"email":"05f2701cf4f5d07841bd3db236c3df32f7d560c9@gmail.com","name":"Anders Mörtberg"},"message":"wip","distinct":true,"url":"https://api.github.com/repos/mortberg/UniMath/commits/32509130e6a0b61a9b73b3a481feb161a6ae9200"}]}