34
34
35
35
- name : Check that the user belongs to the github org
36
36
id : hubber_check
37
- uses : actions/github-script@60a0d83039c74a4aee543508d2ffcb1c3799cdea
37
+ uses : actions/github-script@ed597411d8f924073f98dfc5c65a23a2325f34cd
38
38
with :
39
39
github-token : ${{ secrets.DOCS_BOT_PAT_BASE }}
40
40
script : |
@@ -105,7 +105,7 @@ jobs:
105
105
106
106
- name : Create a pull request
107
107
if : env.CONTINUE_WORKFLOW == 'true'
108
- uses : actions/github-script@60a0d83039c74a4aee543508d2ffcb1c3799cdea
108
+ uses : actions/github-script@ed597411d8f924073f98dfc5c65a23a2325f34cd
109
109
id : create_pull_request
110
110
with :
111
111
github-token : ${{ secrets.DOCS_BOT_PAT_BASE }}
@@ -124,7 +124,7 @@ jobs:
124
124
125
125
- name : Add 'ready-for-doc-review' label to PR
126
126
if : env.CONTINUE_WORKFLOW == 'true'
127
- uses : actions/github-script@60a0d83039c74a4aee543508d2ffcb1c3799cdea
127
+ uses : actions/github-script@ed597411d8f924073f98dfc5c65a23a2325f34cd
128
128
env :
129
129
# Get the number of the PR that was just created:
130
130
PULL_REQUEST_NUMBER : ${{ steps.create_pull_request.outputs.pull-request-number }}
@@ -140,7 +140,7 @@ jobs:
140
140
141
141
- name : Assign PR to commenter
142
142
if : env.CONTINUE_WORKFLOW == 'true'
143
- uses : actions/github-script@60a0d83039c74a4aee543508d2ffcb1c3799cdea
143
+ uses : actions/github-script@ed597411d8f924073f98dfc5c65a23a2325f34cd
144
144
env :
145
145
# Reuse the PR number captured earlier
146
146
PULL_REQUEST_NUMBER : ${{ steps.create_pull_request.outputs.pull-request-number }}
0 commit comments