I'd like to implement automatic updates soon, at least for languages hosted on GitHub. I'm wondering how exactly that should work though. I could periodically query the repos, but there are 74 of them. Also, even if there's a better way using GitHub's API, just because a language author pushed an update doesn't mean they'd necessarily want the update pulled on TIO.