{"push_id":773938853,"size":1,"distinct_size":1,"ref":"refs/heads/gh-pages","head":"adc6ed04f9058d82cf74b389a563ef396591caa9","before":"f057b082a245ef98aa0940d6e398a8bb362aa7ad","commits":[{"sha":"adc6ed04f9058d82cf74b389a563ef396591caa9","author":{"email":"1fb13b1f48f1e85dffd6bab984b7c9632373a49b@travis.fake","name":"Travis-CI Bot"},"message":"Update nightly builds (auto)","distinct":true,"url":"https://api.github.com/repos/HoTT/book/commits/adc6ed04f9058d82cf74b389a563ef396591caa9"}]}