RFR: 2037: Change the order of bots in PullRequestBotFactory

[Erik Joelsson]

On Fri, 22 Sep 2023 07:48:11 GMT, Magnus Ihse Bursie <ihse at openjdk.org> wrote:

> So how long does it typically take for the IssueBots to finish running? (So we're not just turning this into the problem "PullRequestBots is waiting too long on IssueBots")

The PullRequestBot fetches all open PRs and all other PRs that were touched in the last 7 days at startup. This is to ensure we didn't miss anything while we were down. The *IssueBot only starts polling for updates going 10 minutes time back in the first run. That's a rather arbitrarily picked time interval that's basically just meant to be longer than the possible time difference between the Skara bot and the remote server. I think this is the right change to make.

-------------

PR Comment: https://git.openjdk.org/skara/pull/1558#issuecomment-1731371350