👁 A merge bot for GitHub Pull Requests
Why do you think that https://github.com/gravyboat/primeminder is a good alternative to bors-ng
👁 A merge bot for GitHub Pull Requests
Why do you think that https://github.com/gravyboat/primeminder is a good alternative to bors-ng