{"push_id":1802841293,"size":1,"distinct_size":1,"ref":"refs/heads/admis","head":"f7d6254dd959f0f455697c32e2cd95b7a44e0a34","before":"190fbd9e8db601409f132800e2c4497f1c85518b","commits":[{"sha":"f7d6254dd959f0f455697c32e2cd95b7a44e0a34","author":{"name":"Théo Winterhalter","email":"22ae8179e618f1d66851f9813abb83f637307a2b@gmail.com"},"message":"Fix admissible rules","distinct":true,"url":"https://api.github.com/repos/TheoWinterhalter/formal-type-theory/commits/f7d6254dd959f0f455697c32e2cd95b7a44e0a34"}]}
{"actor":{"display_login":"TheoWinterhalter"}}