{"push_id":583806052,"size":1,"distinct_size":1,"ref":"refs/heads/gh-pages","head":"0d27ccd58ff72fba0b02a4d980557371097d4b29","before":"d03b7ee45f9634e66d88c7387a66591d1cc13244","commits":[{"sha":"0d27ccd58ff72fba0b02a4d980557371097d4b29","author":{"email":"1b60d2ed7158736cbc1353d72a6dc44a6772147f@travis-ci.org","name":"Travis CI"},"message":"Update Tue, 24 Feb 2015 20:24:30 +0000","distinct":true,"url":"https://api.github.com/repos/leanprover/ace/commits/0d27ccd58ff72fba0b02a4d980557371097d4b29"}]}