I have uninstalled the public installation of Bors from my GitHub organizations
aluthge-edu, because I am planning on installing self-hosted installations of Bors on those two organizations.
However, four repositories in the
aluthge-edu organizations still show up on the https://app.bors.tech/repositories page:
- aluthge/DelayedErrors.jl - https://app.bors.tech/repositories/12701
- aluthge/OfflineRegistry - https://app.bors.tech/repositories/12700
- aluthge/PredictMD-docker - https://app.bors.tech/repositories/12699
- aluthge-edu/test-repo-edu-bors - https://app.bors.tech/repositories/19306
How can I remove these repositories from my dashboard and from the public installation of Bors?