{"push_id":586316095,"size":1,"distinct_size":1,"ref":"refs/heads/gh-pages","head":"48717349bc3a5ef50fbc4adbcd7042ad642ee567","before":"541d4a225bce4c5907cda4fb79d8c884431b7803","commits":[{"sha":"48717349bc3a5ef50fbc4adbcd7042ad642ee567","author":{"email":"1b60d2ed7158736cbc1353d72a6dc44a6772147f@travis-ci.org","name":"Travis CI"},"message":"Update Thu, 26 Feb 2015 21:15:06 +0000","distinct":true,"url":"https://api.github.com/repos/leanprover/tutorial/commits/48717349bc3a5ef50fbc4adbcd7042ad642ee567"}]}