{"push_id":2499132705,"size":1,"distinct_size":1,"ref":"refs/heads/gh-pages","head":"31850a63b8a792f375b5bdb7a87b80e465d81a88","before":"bc25f76083554bdce0bf8326b2cbaf09dcb6a0c3","commits":[{"sha":"31850a63b8a792f375b5bdb7a87b80e465d81a88","author":{"name":"Travis CI User","email":"e6cc0fb2b8dad4110ef62e9a33e5a8aa4e0f86d7@example.org"},"message":"Update nightly builds (auto)","distinct":true,"url":"https://api.github.com/repos/HoTT/book/commits/31850a63b8a792f375b5bdb7a87b80e465d81a88"}]}
{"actor":{"display_login":"mikeshulman"}}