7 ms·
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
by andrewpbrett 14y ago
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.