Add automerge

This will ease maintenance.

.github/workflows/automerge.yml

@@ -0,0 +1,33 @@
+name: automerge
+on:
+  pull_request:
+    types:
+      - edited
+      - labeled
+      - opened
+      - ready_for_review
+      - reopened
+      - synchronize
+      - unlabeled
+      - unlocked
+  pull_request_review:
+    types:
+      - submitted
+  status: {}
+jobs:
+  automerge:
+    runs-on: ubuntu-latest
+    steps:
+      - name: automerge
+        uses: "pascalgn/[email protected]"
+        env:
+          GITHUB_TOKEN: "${{ secrets.GITHUB_TOKEN }}"
+          MERGE_DELETE_BRANCH: "true"
+          MERGE_LABELS: "automerge,!work in progress"
+          MERGE_METHOD: "rebase"
+          # Disable autorebasing PRs because they cannot retrigger checks
+          UPDATE_LABELS: ""
+          UPDATE_METHOD: "rebase"
+          # Retry for 20m
+          MERGE_RETRIES: 120
+          MERGE_RETRY_SLEEP: 10000