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.
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.
No comments yet.