Let a pull be merged when ci passes #45
Description
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.
{{ message }}
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.