{"push_id":575176015,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"a0de8daee5c1937f1a59e2ecf21f775f798efb5c","before":"5376a7392c96fb12f7d2fe5146944e0b088dd6bc","commits":[{"sha":"91391a1f3eadd25142e3cea15d57359568cf13b7","author":{"email":"b7c4baa775b92bf60ed8f6ecd5ac9f457efbb970@gmx.net","name":"Benedikt Ahrens"},"message":"add condition on hom-types being sets to setcategories, resolves issue #75","distinct":true,"url":"https://api.github.com/repos/UniMath/UniMath/commits/91391a1f3eadd25142e3cea15d57359568cf13b7"},{"sha":"a0de8daee5c1937f1a59e2ecf21f775f798efb5c","author":{"email":"dc9186a06078733915a6fcbab34e59120be2b484@ias.edu","name":"Vladimir Voevodsky"},"message":"Merge pull request #76 from benediktahrens/setcats\n\nadd condition on hom-types being sets to setcategories, resolves issue #75","distinct":true,"url":"https://api.github.com/repos/UniMath/UniMath/commits/a0de8daee5c1937f1a59e2ecf21f775f798efb5c"}]}