{"push_id":3153223265,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"2624b491b9fc4fb64b175f57ee3cfe6f216cbd8e","before":"40ce3b897dcd1376f193f59611670c8103a1cb5e","commits":[{"sha":"2624b491b9fc4fb64b175f57ee3cfe6f216cbd8e","author":{"name":"Namdak Tonpa","email":"202c6131ee8b1472f564bb062d6f9213961ca3fd@synrc.com"},"message":"promote Lean implementation to Groupoid Infinity","distinct":true,"url":"https://api.github.com/repos/groupoid/cubical.systems/commits/2624b491b9fc4fb64b175f57ee3cfe6f216cbd8e"}]}
{"actor":{"display_login":"5HT"}}