{"push_id":741320523,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"df305a0bac19dfe086f7683f332e2d625ebc41bc","before":"4b0eee57d78ca124ec71598fd2968713eef719dc","commits":[{"sha":"df305a0bac19dfe086f7683f332e2d625ebc41bc","author":{"email":"240eaf9b7dd8bf34824fa6213c6ea24402f09b79@andrew.cmu.edu","name":"Floris van Doorn"},"message":"update files to work with the newest version of Lean","distinct":true,"url":"https://api.github.com/repos/fpvandoorn/leansnippets/commits/df305a0bac19dfe086f7683f332e2d625ebc41bc"}]}