That's great, thank you!
On Mon, 15 Mar 2021 at 14:42, Yoann Rodiere wrote:
> Hello everyone,
>
> I just deployed a GitHub bot on our infrastructure. The purpose of this bot
> is to run basic checks on pull requests, so that contributors know right
> away if something needs to be changed, withou
Hello everyone,
I just deployed a GitHub bot on our infrastructure. The purpose of this bot
is to run basic checks on pull requests, so that contributors know right
away if something needs to be changed, without having to wait for a human
to take the time to review. And to avoid oversights for som
