{"push_id":3118389940,"size":1,"distinct_size":1,"ref":"refs/heads/repackage","head":"1cd88798d15104e538d253f8ecfe44e52cc20b49","before":"9603cc37fd99bde3d4cf338cbe9f78b61a6145a2","commits":[{"sha":"1cd88798d15104e538d253f8ecfe44e52cc20b49","author":{"name":"Niels van der Weide","email":"6643a7d078f90eef1ff2179e555fc871d402a7d2@science.ru.nl"},"message":"Fixed one file","distinct":true,"url":"https://api.github.com/repos/nmvdw/UniMath/commits/1cd88798d15104e538d253f8ecfe44e52cc20b49"}]}
{"actor":{"display_login":"nmvdw"}}