{"push_id":744669075,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"03bfac451afe84fcf9a6ca4dc5e41ad0c91347ac","before":"a690bd401015aa5e3ae4dc3edd47d510d917fb64","commits":[{"sha":"d62fc7dece3d8a0b5cc44489cb80f76ba97a43ed","author":{"email":"2591e5f46f28d303f9dc027d475a5c60d8dea17a@math.uiuc.edu","name":"Daniel R. Grayson"},"message":"add UniMath to all module path names","distinct":true,"url":"https://api.github.com/repos/UniMath/UniMath/commits/d62fc7dece3d8a0b5cc44489cb80f76ba97a43ed"},{"sha":"03bfac451afe84fcf9a6ca4dc5e41ad0c91347ac","author":{"email":"b7c4baa775b92bf60ed8f6ecd5ac9f457efbb970@gmx.net","name":"Benedikt Ahrens"},"message":"Merge pull request #119 from DanGrayson/module-path-names\n\nadd UniMath to all module path names (and update Coq by 10 days)","distinct":true,"url":"https://api.github.com/repos/UniMath/UniMath/commits/03bfac451afe84fcf9a6ca4dc5e41ad0c91347ac"}]}