{"push_id":614530265,"size":1,"distinct_size":1,"ref":"refs/heads/gh-pages","head":"ba26ab0a0b0fddbcf463ce417d9019357b827180","before":"0ba63593d68331f2bb882a2dc35a10e26e553620","commits":[{"sha":"ba26ab0a0b0fddbcf463ce417d9019357b827180","author":{"email":"1b60d2ed7158736cbc1353d72a6dc44a6772147f@travis-ci.org","name":"Travis CI"},"message":"Update Thu, 26 Mar 2015 18:34:20 +0000","distinct":true,"url":"https://api.github.com/repos/leanprover/tutorial/commits/ba26ab0a0b0fddbcf463ce417d9019357b827180"}]}