{"push_id":1150080483,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"4dc9504d6bb9759968f2cbff3c6973261b394d1f","before":"8a7ec63741735e5914d3ca96ae829d533451096c","commits":[{"sha":"dbce75bf4acacf67f1d7e6d74439e51667434c8a","author":{"name":"SimonBoulier","email":"0d58feeb7d05da8dd2af0a89eb731ab92fa77e51@ens-rennes.fr"},"message":"Declare iff as a transitive, symmetric reflexive relation. This changes the order of the arguments of iff_compose.","distinct":true,"url":"https://api.github.com/repos/HoTT/HoTT/commits/dbce75bf4acacf67f1d7e6d74439e51667434c8a"},{"sha":"2a2f81acfe25aaa55206d6faf4a768beb085e336","author":{"name":"SimonBoulier","email":"0d58feeb7d05da8dd2af0a89eb731ab92fa77e51@ens-rennes.fr"},"message":"Change the priority of iff instances to 1.","distinct":true,"url":"https://api.github.com/repos/HoTT/HoTT/commits/2a2f81acfe25aaa55206d6faf4a768beb085e336"},{"sha":"4dc9504d6bb9759968f2cbff3c6973261b394d1f","author":{"name":"Jason Gross","email":"7298f0ef53f11b987e31cc57a2822f169086d0c9@gmail.com"},"message":"Merge pull request #805 from SimonBoulier/iff_transitive_symmetric_reflexive\n\nDeclare iff as a transitive, symmetric reflexive relation.","distinct":true,"url":"https://api.github.com/repos/HoTT/HoTT/commits/4dc9504d6bb9759968f2cbff3c6973261b394d1f"}]}
{"actor":{"display_login":"JasonGross"}}