Closed matklad closed 1 year ago
bors r+
I think bors.tech broke with the repository transfer, and old bors isn't set up here.
@bors r+
Neither is the new one I believe
bors ping
bors r+