kevin icon indicating copy to clipboard operation
kevin copied to clipboard

Let a pull be merged when ci passes

Open TheJJ opened this issue 4 years ago • 0 comments

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.

TheJJ avatar Feb 17 '21 19:02 TheJJ