mergify: replace bors's merge queue

2023-06-12 06:41:43 +02:00
parent 0741e1f4ab
commit 239f8d26c9
3 changed files with 18 additions and 22 deletions
@@ -19,3 +19,5 @@ jobs:
        uses: DeterminateSystems/update-flake-lock@v19
        with:
          token: ${{ secrets.GH_TOKEN_FOR_UPDATES }}
+          pr-labels: |                  # Labels to be set on the PR
+            merge-queue