Closed raoulstrackx closed 8 months ago
bors r=gausk,ssavvides
bors ping
bors ping
@raoulstrackx
I guess bors
public instance maybe already down. Because the words from https://bors.tech/newsletter/2023/06/30/tmib-78/:
As mentioned on May 1, bors-ng is deprecated. Bug fixes are still accepted, but new features are not. The public instance will go away once GitHub Merge Queues leave beta.
And GitHub merge queue is generally available
We need to migrate to Github Action now. I have a in progress PR for this: https://github.com/fortanix/rust-sgx/pull/549
And we could use branch protection settings similar to:
Fix #551