Merge pull request #542 from antmicro/umarcor/dependabot/gitsubmodules

ci/dependabot: handle gitsubmodules

.github/dependabot.yml

@@ -1,5 +1,15 @@
 version: 2
 updates:
+
+  - package-ecosystem: gitsubmodule
+    directory: /
+    schedule:
+      interval: daily
+    open-pull-requests-limit: 99
+    labels:
+    - dependencies
+    - third-party
+
   - package-ecosystem: github-actions
     directory: /
     schedule:

.github/workflows/Doc.yml

@@ -9,6 +9,7 @@ on:
 
 jobs:
 
+
   Docs:
     if: ${{ !(github.event_name != 'pull_request' && github.actor == 'dependabot[bot]') }}
     runs-on: ubuntu-latest
@@ -49,3 +50,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