{"push_id":2181742606,"size":1,"distinct_size":1,"ref":"refs/heads/sigma","head":"654235e83e4dabefe4059e67f0aa619a8fdd61ff","before":"5c891df087b76c68b0a8d227b72bf03c9a3cbf77","commits":[{"sha":"654235e83e4dabefe4059e67f0aa619a8fdd61ff","author":{"name":"Théo Winterhalter","email":"22ae8179e618f1d66851f9813abb83f637307a2b@gmail.com"},"message":"Substitution equality has a way to go","distinct":true,"url":"https://api.github.com/repos/TheoWinterhalter/formal-type-theory/commits/654235e83e4dabefe4059e67f0aa619a8fdd61ff"}]}
{"actor":{"display_login":"TheoWinterhalter"}}