{"push_id":707522326,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"fa1d7134fcc08d128478b2bca9b08275f775970e","before":"086ccdd236a12f5f9326a99c706195ae3a600d07","commits":[{"sha":"9dd1bc1f28ce7755b64e1c6cd54236ae1bdca8ae","author":{"email":"240eaf9b7dd8bf34824fa6213c6ea24402f09b79@andrew.cmu.edu","name":"Floris van Doorn"},"message":"rename files, move part of two_quotient to the library","distinct":true,"url":"https://api.github.com/repos/fpvandoorn/leansnippets/commits/9dd1bc1f28ce7755b64e1c6cd54236ae1bdca8ae"},{"sha":"ae5b50c2f7330d839ac511ffa733f8f7dc0b8cf9","author":{"email":"240eaf9b7dd8bf34824fa6213c6ea24402f09b79@andrew.cmu.edu","name":"Floris van Doorn"},"message":"unit.{0} -> unit and continue with two-quotients and specific instantiations","distinct":true,"url":"https://api.github.com/repos/fpvandoorn/leansnippets/commits/ae5b50c2f7330d839ac511ffa733f8f7dc0b8cf9"},{"sha":"fa1d7134fcc08d128478b2bca9b08275f775970e","author":{"email":"240eaf9b7dd8bf34824fa6213c6ea24402f09b79@andrew.cmu.edu","name":"Floris van Doorn"},"message":"move files to HoTT library","distinct":true,"url":"https://api.github.com/repos/fpvandoorn/leansnippets/commits/fa1d7134fcc08d128478b2bca9b08275f775970e"}]}