{"push_id":644591310,"size":1,"distinct_size":1,"ref":"refs/heads/gh-pages","head":"dc904a1f78c176381194495e20ff15e93d57f30f","before":"29b330c8ddb1708590ef766dce4dfadab4766d43","commits":[{"sha":"dc904a1f78c176381194495e20ff15e93d57f30f","author":{"email":"1b60d2ed7158736cbc1353d72a6dc44a6772147f@travis-ci.org","name":"Travis CI"},"message":"Update Sun, 26 Apr 2015 07:00:13 +0000","distinct":true,"url":"https://api.github.com/repos/leanprover/tutorial/commits/dc904a1f78c176381194495e20ff15e93d57f30f"}]}