Hi,
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...
Any ideas?
Are you using your own instance, or is this the public one?
It's the public one.
It should never have worked. The public instance doesn't support private repositories.
It should never have worked.
Oops. I screwed up.
Looking at past PRs, the repo in question has never had a bors install! We are just so used to typing bors r+ that we are surprised when bors doesn't kick in!
My apologies, and thanks again for bors!