Merge branch 'dev' into remove-user-setting-save-btn

opentripplanner · Oct 12, 2023 · f482067 · f482067
2 parents 57a9b68 + ea10904
commit f482067
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/dependabot.yml b/.github/workflows/dependabot.yml
@@ -12,6 +12,7 @@ jobs:
       pull-requests: write
     if: github.actor == 'dependabot[bot]'
     steps:
+      - uses: actions/checkout@v2
       - name: Auto-approve PR
         uses: hmarr/auto-approve-action@v3
       - name: Enable auto-merge