{"push_id":878540172,"size":1,"distinct_size":1,"ref":"refs/heads/gh-pages","head":"0b67b20555862294bcc5f469c884fd59b1dde151","before":"06a7f1114e4ebb71670769342bf76feb1a92f910","commits":[{"sha":"0b67b20555862294bcc5f469c884fd59b1dde151","author":{"email":"1b60d2ed7158736cbc1353d72a6dc44a6772147f@travis-ci.org","name":"Travis CI"},"message":"Update Wed, 25 Nov 2015 00:35:18 +0000","distinct":true,"url":"https://api.github.com/repos/leanprover/tutorial/commits/0b67b20555862294bcc5f469c884fd59b1dde151"}]}