{"push_id":988175974,"size":1,"distinct_size":1,"ref":"refs/heads/wip/tutorial","head":"e91df5ee4d4a3913ebd4e02ae7a67eb8ee01833b","before":"24c985a2f1e38aea80078a4943484bddbcfdf67c","commits":[{"sha":"e91df5ee4d4a3913ebd4e02ae7a67eb8ee01833b","author":{"email":"6dee935571b97ce486c440cbf6fe87b5890379bd@gmail.com","name":"Trevor Elliott"},"message":"Fix need to update stack.yaml to 7.10","distinct":true,"url":"https://api.github.com/repos/GaloisInc/ivory/commits/e91df5ee4d4a3913ebd4e02ae7a67eb8ee01833b"}]}