{"push_id":1002474230,"size":1,"distinct_size":1,"ref":"refs/heads/lambdacalculus","head":"3c217008af1e78e672b96b4f6ae1892d156a850f","before":"00b6b4c13c6d5715c98cf2d94af764497cd53772","commits":[{"sha":"3c217008af1e78e672b96b4f6ae1892d156a850f","author":{"email":"05f2701cf4f5d07841bd3db236c3df32f7d560c9@gmail.com","name":"Anders Mörtberg"},"message":"wip","distinct":true,"url":"https://api.github.com/repos/mortberg/UniMath/commits/3c217008af1e78e672b96b4f6ae1892d156a850f"}]}