{"push_id":804433516,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"c63e11bd99e9c8c452c723ac1b6d0193e789bae2","before":"e62b105f869d2412428eb032a7f447650c9255f0","commits":[{"sha":"c63e11bd99e9c8c452c723ac1b6d0193e789bae2","author":{"email":"240eaf9b7dd8bf34824fa6213c6ea24402f09b79@andrew.cmu.edu","name":"Floris van Doorn"},"message":"comment out some unfinished stuff","distinct":true,"url":"https://api.github.com/repos/fpvandoorn/sequential_colimits/commits/c63e11bd99e9c8c452c723ac1b6d0193e789bae2"}]}