Merge pull request github#29207 from github/repo-sync

Repo sync
ebfork · Oct 17, 2023 · f0483f0 · f0483f0
2 parents 745c350 + 8c0599f
commit f0483f0
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/move-ready-to-merge-pr.yaml b/.github/workflows/move-ready-to-merge-pr.yaml
@@ -10,6 +10,7 @@ on:
       - labeled
 
 permissions:
+  contents: read
   pull-requests: write
 
 jobs:
@@ -34,6 +35,8 @@ jobs:
           ignore-if-assigned: 'false'
           remove-labels: 'waiting for review'
 
+      - name: Check out repo
+        uses: actions/checkout@3df4ab11eba7bda6032a0b82a6bb43b11571feac # v4.0.0
       - uses: ./.github/actions/slack-alert
         with:
           slack_channel_id: ${{ secrets.DOCS_ALERTS_SLACK_CHANNEL_ID }}