replace bors with mergify

This commit is contained in:
Jörg Thalheim 2023-06-12 05:45:34 +02:00
parent 560e1eabd3
commit 932dc8045c
3 changed files with 25 additions and 12 deletions

View file

@ -24,4 +24,5 @@ jobs:
```
{{ env.GIT_COMMIT_MESSAGE }}
```
bors merge
pr-labels: | # Labels to be set on the PR
merge-queue