{"push_id":672351411,"size":1,"distinct_size":1,"ref":"refs/heads/wip","head":"a69e71863e15ff36f57cecfe07657d4347cda5f3","before":"836b4e271e71c122bc12b68b82048fb43692bee5","commits":[{"sha":"a69e71863e15ff36f57cecfe07657d4347cda5f3","author":{"email":"73be520f9292c229f3ce6400ad9e20f2693c368a@chalmers.se","name":"Anders"},"message":"wip","distinct":true,"url":"https://api.github.com/repos/mortberg/UniMath/commits/a69e71863e15ff36f57cecfe07657d4347cda5f3"}]}