Open yut23 opened 1 month ago
Thank you ! As I said on slack, I'm all for migrating away from this bot (as well as the WIP bot), but we need a code owner to actually remove them. This PR should not be merge before then, let's ping @matthewturk and @Xarthisius
PR Summary
This replaces the mergeable bot, which has been flaky recently. I've tested it thoroughly at https://github.com/yut23/yt/pull/2, and it works as expected.
PR Checklist