HoTT/book — pull request #540 by JasonGross (2013-11-24 04:04:49+00:00)
Title: Do you want a Travis-CI instance?

Someone with admin bits for this repo would need to go to
https://travis-ci.org/profile and sign in with github and enable Travis
for this repo.

If Travis is enabled, new commits and pull requests get auto-built by
Travis. If someone is feeling ambitious, it's possible to make Travis
do other tasks, like auto-uploading a new version of the book somewhere,
or parsing `git blame` to update the errata numbers and pushing the
appropriate errata labels.