{"push_id":608211690,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"0151c2e18ae9e243dcbf757148bd4debee069a40","before":"86e8a34ac7d31856c905d4f1906f41611f0e257a","commits":[{"sha":"0151c2e18ae9e243dcbf757148bd4debee069a40","author":{"email":"6890fa1d738eb4a06cf1d2634a31d4aac12540b7@mattam.org","name":"Matthieu Sozeau"},"message":"Remove last admits from HoTT_light, using rewriting in Type.\nAlso remove outdated test files.","distinct":true,"url":"https://api.github.com/repos/mattam82/groupoid/commits/0151c2e18ae9e243dcbf757148bd4debee069a40"}]}