feat: auto merge keyman-server PRs

.github/workflows/auto-approve-keyman-server-pr.yml

@@ -0,0 +1,18 @@
+#
+# Automatically approves pull requests opened by keyman-server
+#
+# When a script creates a PR, this workflow will be triggered to approve the PR,
+# and then auto-merge-keyman-server-pr.yml will merge it
+#
+name: Auto Approve PRs from keyman-server
+
+on: pull_request_target
+
+jobs:
+  auto-approve:
+    runs-on: ubuntu-latest
+    permissions:
+      pull-requests: write
+    steps:
+    - uses: hmarr/auto-approve-action@44888193675f29a83e04faf4002fa8c0b537b1e4 # v3.2.1
+      if: github.actor == 'keyman-server'

.github/workflows/auto-merge-keyman-server-pr.yml

@@ -0,0 +1,38 @@
+#
+# Automatically merges pull requests opened by keyman-server.
+#
+# This workflow will be triggered to merge the PR once approved by the
+# auto-approve-keyman-server-pr.yml script.
+#
+name: Auto Merge PRs from keyman-server
+on:
+  pull_request:
+    types:
+      - labeled
+      - unlabeled
+      - synchronize
+      - opened
+      - edited
+      - ready_for_review
+      - reopened
+      - unlocked
+  pull_request_review:
+    types:
+      - submitted
+  status:
+  check_suite:
+    types:
+      - completed
+jobs:
+  automerge:
+    runs-on: ubuntu-latest
+    steps:
+    - name: auto merge PR from keyman-server
+      uses: "pascalgn/automerge-action@22948e0bc22f0aa673800da838595a3e7347e584" # v0.15.6
+      if: github.actor == 'keyman-server'
+      env:
+        GITHUB_TOKEN: "${{ secrets.GITHUB_TOKEN }}"
+        MERGE_LABELS: "auto"
+        MERGE_FORKS: false
+        MERGE_RETRY: 6
+        MERGE_RETRY_SLEEP: 30000