kevin
kevin copied to clipboard
Let a pull be merged when ci passes
We could add a new label that, when added to a pull request, instructs kevin to merge that pull request, after the CI-run passes.