replace bors with mergify

This commit is contained in:
Jörg Thalheim 2023-06-12 06:46:18 +02:00
parent 5d9f362aec
commit 160bd22789
3 changed files with 44 additions and 37 deletions

View file

@ -16,9 +16,5 @@ jobs:
uses: DeterminateSystems/update-flake-lock@v19
with:
token: ${{ secrets.GH_TOKEN_FOR_UPDATES }}
pr-body: |
Automated changes by the update-flake-lock
```
{{ env.GIT_COMMIT_MESSAGE }}
```
bors merge
pr-labels: |
merge-queue