3434
3535 - name : Check that the user belongs to the github org
3636 id : hubber_check
37- uses : actions/github-script@60a0d83039c74a4aee543508d2ffcb1c3799cdea
37+ uses : actions/github-script@ed597411d8f924073f98dfc5c65a23a2325f34cd
3838 with :
3939 github-token : ${{ secrets.DOCS_BOT_PAT_BASE }}
4040 script : |
@@ -105,7 +105,7 @@ jobs:
105105
106106 - name : Create a pull request
107107 if : env.CONTINUE_WORKFLOW == 'true'
108- uses : actions/github-script@60a0d83039c74a4aee543508d2ffcb1c3799cdea
108+ uses : actions/github-script@ed597411d8f924073f98dfc5c65a23a2325f34cd
109109 id : create_pull_request
110110 with :
111111 github-token : ${{ secrets.DOCS_BOT_PAT_BASE }}
@@ -124,7 +124,7 @@ jobs:
124124
125125 - name : Add 'ready-for-doc-review' label to PR
126126 if : env.CONTINUE_WORKFLOW == 'true'
127- uses : actions/github-script@60a0d83039c74a4aee543508d2ffcb1c3799cdea
127+ uses : actions/github-script@ed597411d8f924073f98dfc5c65a23a2325f34cd
128128 env :
129129 # Get the number of the PR that was just created:
130130 PULL_REQUEST_NUMBER : ${{ steps.create_pull_request.outputs.pull-request-number }}
@@ -140,7 +140,7 @@ jobs:
140140
141141 - name : Assign PR to commenter
142142 if : env.CONTINUE_WORKFLOW == 'true'
143- uses : actions/github-script@60a0d83039c74a4aee543508d2ffcb1c3799cdea
143+ uses : actions/github-script@ed597411d8f924073f98dfc5c65a23a2325f34cd
144144 env :
145145 # Reuse the PR number captured earlier
146146 PULL_REQUEST_NUMBER : ${{ steps.create_pull_request.outputs.pull-request-number }}
0 commit comments