{"push_id":1151654939,"size":1,"distinct_size":1,"ref":"refs/heads/gh-pages","head":"a6bd8cddccab3a0f6438cd996a88ac5a2dd87f77","before":"699b86e69b699d153c86e9a6e22c3ed88ad945ee","commits":[{"sha":"a6bd8cddccab3a0f6438cd996a88ac5a2dd87f77","author":{"name":"Travis-CI Bot","email":"d96dd4f7df11568227a304293d530f3256b374e6@travis.fake"},"message":"Autoupdate documentation with coqdoc and proviola and time2html\n\nGenerated with `make html proviola`","distinct":true,"url":"https://api.github.com/repos/HoTT/HoTT/commits/a6bd8cddccab3a0f6438cd996a88ac5a2dd87f77"}]}
{"actor":{"display_login":"JasonGross"}}