I think it would be handy to be able to set the polling interval to GitHub API. Looks like the default is every 10 seconds, I have RenovateBot running hourly to create PRs. I'd be fine with every 300 seconds (5 min) or even being able to set a cron like schedule to poll perhaps?
I think it would be handy to be able to set the polling interval to GitHub API. Looks like the default is every 10 seconds, I have RenovateBot running hourly to create PRs. I'd be fine with every 300 seconds (5 min) or even being able to set a cron like schedule to poll perhaps?