Solved: bors keeps ignoring r+

Posting here in case it helps somebody else: for a few days we've been running into issues with bors sporadically ignoring r+. After an extensive investigation we figured it had to do with bors timing out on calls to GitHub while performing preflight checks.

We then redeployed bors with a 60000ms timeout for calls to GitHub API and so far it's been working smoothly.