{"push_id":616320122,"size":1,"distinct_size":1,"ref":"refs/heads/gh-pages","head":"a74b1166a7490ee9608918ebf8d48e38f0c3f92b","before":"d7b1b33259d3ec6e99be50cf80f2ff77b5a04cb6","commits":[{"sha":"a74b1166a7490ee9608918ebf8d48e38f0c3f92b","author":{"email":"7c47fb8c5e263626481b146af46f62cf5772922e@gmail.com","name":"Eric Seidel"},"message":"regen","distinct":true,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell-tutorial/commits/a74b1166a7490ee9608918ebf8d48e38f0c3f92b"}]}