6868 - name : ' Add "First-time Contributor" label if PR is from a first-time contributor'
6969 if : ${{ github.event.action == 'opened' || github.event.action == 'reopened' }}
7070 # Pin action to full-length commit SHA
71- uses : actions/github-script@ed597411d8f924073f98dfc5c65a23a2325f34cd # v8 .0.0
71+ uses : actions/github-script@3a2844b7e9c422d3c10d287c895573f7108da1b3 # v9 .0.0
7272 with :
7373 github-token : ${{ secrets.STDLIB_BOT_PAT_REPO_WRITE }}
7474 script : |
9393 - name : ' Add "Needs Review" label if PR is opened and not draft'
9494 if : ${{ github.event.action == 'opened' && github.event.pull_request.draft == false }}
9595 # Pin action to full length commit SHA
96- uses : actions/github-script@ed597411d8f924073f98dfc5c65a23a2325f34cd # v8 .0.0
96+ uses : actions/github-script@3a2844b7e9c422d3c10d287c895573f7108da1b3 # v9 .0.0
9797 with :
9898 github-token : ${{ secrets.STDLIB_BOT_PAT_REPO_WRITE }}
9999 script : |
@@ -108,7 +108,7 @@ jobs:
108108 - name : ' Add "Needs Review" label if PR is ready for review or review is requested'
109109 if : ${{ github.event.action == 'ready_for_review' || github.event.action == 'review_requested' }}
110110 # Pin action to full length commit SHA
111- uses : actions/github-script@ed597411d8f924073f98dfc5c65a23a2325f34cd # v8 .0.0
111+ uses : actions/github-script@3a2844b7e9c422d3c10d287c895573f7108da1b3 # v9 .0.0
112112 with :
113113 github-token : ${{ secrets.STDLIB_BOT_PAT_REPO_WRITE }}
114114 script : |
@@ -123,7 +123,7 @@ jobs:
123123 - name : ' Remove "Needs Review" label if PR is converted to draft or closed'
124124 if : ${{ github.event.action == 'converted_to_draft' || github.event.action == 'closed' }}
125125 # Pin action to full length commit SHA
126- uses : actions/github-script@ed597411d8f924073f98dfc5c65a23a2325f34cd # v8 .0.0
126+ uses : actions/github-script@3a2844b7e9c422d3c10d287c895573f7108da1b3 # v9 .0.0
127127 with :
128128 github-token : ${{ secrets.STDLIB_BOT_PAT_REPO_WRITE }}
129129 script : |
@@ -142,7 +142,7 @@ jobs:
142142 - name : ' Remove "Ready To Merge" label if PR is merged'
143143 if : ${{ github.event.action == 'closed' && github.event.pull_request.merged == true }}
144144 # Pin action to full length commit SHA
145- uses : actions/github-script@ed597411d8f924073f98dfc5c65a23a2325f34cd # v8 .0.0
145+ uses : actions/github-script@3a2844b7e9c422d3c10d287c895573f7108da1b3 # v9 .0.0
146146 with :
147147 github-token : ${{ secrets.STDLIB_BOT_PAT_REPO_WRITE }}
148148 script : |
@@ -160,7 +160,7 @@ jobs:
160160 # Remove "Needs Review" and "Needs Changes" labels when "Ready To Merge" is assigned:
161161 - name : ' Remove "Needs Review" and "Needs Changes" labels when "Ready To Merge" is assigned'
162162 if : ${{ github.event.action == 'labeled' && github.event.label.name == 'Ready To Merge' }}
163- uses : actions/github-script@ed597411d8f924073f98dfc5c65a23a2325f34cd # v8 .0.0
163+ uses : actions/github-script@3a2844b7e9c422d3c10d287c895573f7108da1b3 # v9 .0.0
164164 with :
165165 github-token : ${{ secrets.STDLIB_BOT_PAT_REPO_WRITE }}
166166 script : |
@@ -182,7 +182,7 @@ jobs:
182182 - name : ' Remove "First-time Contributor" label from other open PRs of same author if PR is merged'
183183 if : ${{ github.event.action == 'closed' && github.event.pull_request.merged == true }}
184184 # Pin action to full length commit SHA
185- uses : actions/github-script@ed597411d8f924073f98dfc5c65a23a2325f34cd # v8 .0.0
185+ uses : actions/github-script@3a2844b7e9c422d3c10d287c895573f7108da1b3 # v9 .0.0
186186 with :
187187 github-token : ${{ secrets.STDLIB_BOT_PAT_REPO_WRITE }}
188188 script : |
0 commit comments