Replace mergify with action (#619)

2026-04-22 09:07:56 +00:00 · 2022-03-02 06:20:49 +01:00
parent f622b77400
commit 2cd4e2d45e
2 changed files with 17 additions and 25 deletions
@@ -0,0 +1,17 @@
+name: PR
+
+on:
+  pull_request:
+    types: [labeled]
+
+jobs:
+  auto-merge:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v2
+      - uses: jacogr/action-merge@master
+        with:
+          checks: build,lint,test
+          labels: automerge
+          strategy: squash
+          token: ${{ secrets.GH_PAT_BOT }}