ci: automerge dependabot PRs

Signed-off-by: Unai Martinez-Corral <umartinezcorral@antmicro.com>

.github/workflows/Doc.yml

@@ -9,6 +9,7 @@ on:
 
 jobs:
 
+
   Docs:
     runs-on: ubuntu-latest
     name: '📓 Docs'
@@ -48,3 +49,17 @@ jobs:
           git config --local user.name "GitHub Actions"
           git commit -a -m "update ${{ github.sha }}"
           git push -u origin +HEAD:gh-pages
+
+
+  Automerge:
+    needs: Test
+    if: github.event_name == 'pull_request' && github.actor == 'dependabot[bot]'
+    runs-on: ubuntu-latest
+    name: Automerge dependabot PRs
+    permissions:
+      contents: write
+
+    steps:
+
+      - name: Auto-merge Dependabot PR
+        run: GITHUB_TOKEN='${{ github.token }}' gh pr merge '${{ github.event.pull_request.html_url }}' --squash