Closed jswrenn closed 1 year ago
Good idea. Looking forward to it!
I think @Philippe-Cholet and I can work on our stuff after releasing 0.11.0.
bors r+
Build succeeded!
The publicly hosted instance of bors-ng is deprecated and will go away soon.
If you want to self-host your own instance, instructions are here. For more help, visit the forum.
If you want to switch to GitHub's built-in merge queue, visit their help page.
We're overdue for a release. :-)
@phimuemue let me know if there's any reason I should hold off on releasing. Otherwise, I'll go ahead and get this release out soon.