{"push_id":1786067223,"size":1,"distinct_size":1,"ref":"refs/heads/gh-pages","head":"c2af8e49d6bcd4605fe3d368a829d4dfa29db345","before":"cffdae42a0eb90b2a771f4cc4a7390c35072823a","commits":[{"sha":"c2af8e49d6bcd4605fe3d368a829d4dfa29db345","author":{"name":"Travis CI User","email":"5154a24f5803bf747f09d7bd5d605f4803acbeb6@example.org"},"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/c2af8e49d6bcd4605fe3d368a829d4dfa29db345"}]}
{"actor":{"display_login":"JasonGross"}}