Add bors to the repository
Kerollmops opened this issue · comments
Adding bors would ease the job of the reviewers.
will give it a try
Sorry, I forgot to update the good-first-issues
and I'll close this one as bors is no more freely available and the new GitHub Merge queues looks promising.