Closed michaelkirk closed 11 months ago
Clicked "merged when ready" at 8:31 PDT
ðŸ˜
reverting and walking away for a while.
SORRY EVERYONE
Revenge of the BORS.
Let's hold off on deleting bors in the other repos until we can figure out how to use GH merge queues.
Hopefully CI won't merge this.
Trying again after enabling "require status checks" in the protected branch settings.