ci: Add a job to auto-merge changes in gir-files

Author: bilelmoussaoui

.github/workflows/auto-merge.yml

@@ -0,0 +1,22 @@
+name: Auto Merge PRs from Specific User
+
+on:
+  pull_request:
+    types: [opened, synchronize, labeled]
+
+jobs:
+  auto-merge:
+    runs-on: ubuntu-latest
+
+    if: github.event.pull_request.user.login == 'github-actions[bot]'
+    steps:
+      - name: Checkout
+      - uses: actions/checkout@v4
+
+      - name: Wait for CI checks to complete
+        uses: ahmadnassri/action-wait-for-check@v1
+
+      - name: Merge PR via GitHub CLI
+        run: gh pr merge ${{ github.event.pull_request.number }} --merge --admin
+        env:
+          GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}