[andrewpbrett]

We are in fact polling using the GitHub API, but it should be hourly, not daily.

Right after I finished this we noticed that we could also do this with a post commit hook, so we're planning to implement that as well.