Closed jswrenn closed 1 year ago
Bors is deprecated and the public instance will be shutting down. We should migrate to a Github merge queue instead.
Bors is deprecated and the public instance will be shutting down. We should migrate to a Github merge queue instead.