One of our repos seems to have "forgotten" its bors installation. Someone raised a PR and github reported that we didn't have any CI set up.
I've re-installed bors on the repo, but I can't get a response from the bot.
bors ping is met by silence.
The repo is private, but that wasn't an issue before...