7575 run : ${{ github.action_path }}/src/push.sh
7676 shell : bash
7777 - name : Get a number of PullRequests
78- uses : actions/github-script@ed597411d8f924073f98dfc5c65a23a2325f34cd # v8 .0.0
78+ uses : actions/github-script@3a2844b7e9c422d3c10d287c895573f7108da1b3 # v9 .0.0
7979 if : steps.diff.outputs.result != '' && ((github.event_name == 'pull_request' && github.event.action != 'closed') || github.event_name == 'push' || github.event_name == 'schedule' || github.event_name == 'workflow_dispatch' || github.event_name == 'repository_dispatch')
8080 id : get_number_of_pull_requests
8181 with :
8585 return await script(github, context)
8686 # pushしたブランチで修正PRを作る
8787 - name : Create PullRequest
88- uses : actions/github-script@ed597411d8f924073f98dfc5c65a23a2325f34cd # v8 .0.0
88+ uses : actions/github-script@3a2844b7e9c422d3c10d287c895573f7108da1b3 # v9 .0.0
8989 if : steps.diff.outputs.result != '' && steps.get_number_of_pull_requests.outputs.result == 0 && ((github.event_name == 'pull_request' && github.event.action != 'closed') || github.event_name == 'push' || github.event_name == 'schedule' || github.event_name == 'workflow_dispatch' || github.event_name == 'repository_dispatch')
9090 id : create_pull_request
9191 with :
9595 return await script(github, context)
9696 # 元のPRを出したユーザーを修正PRにアサインする
9797 - name : Assign a user
98- uses : actions/github-script@ed597411d8f924073f98dfc5c65a23a2325f34cd # v8 .0.0
98+ uses : actions/github-script@3a2844b7e9c422d3c10d287c895573f7108da1b3 # v9 .0.0
9999 if : steps.diff.outputs.result != '' && steps.get_number_of_pull_requests.outputs.result == 0 && github.event_name == 'pull_request' && github.event.action != 'closed' && github.event.pull_request.user.login != 'dependabot[bot]' && github.event.pull_request.user.login != 'renovate[bot]' && github.event.pull_request.user.login != 'Copilot'
100100 env :
101101 PR_NUMBER : ${{steps.create_pull_request.outputs.result}}
@@ -106,7 +106,7 @@ runs:
106106 await script(github, context)
107107 # 修正PRのタイトルやDescription、ラベルを更新する
108108 - name : Update PullRequest
109- uses : actions/github-script@ed597411d8f924073f98dfc5c65a23a2325f34cd # v8 .0.0
109+ uses : actions/github-script@3a2844b7e9c422d3c10d287c895573f7108da1b3 # v9 .0.0
110110 if : steps.diff.outputs.result != '' && ((github.event_name == 'pull_request' && github.event.action != 'closed') || github.event_name == 'push' || github.event_name == 'schedule' || github.event_name == 'workflow_dispatch' || github.event_name == 'repository_dispatch')
111111 id : update_pull_request
112112 with :
@@ -116,7 +116,7 @@ runs:
116116 return await script(github, context)
117117 # 既に修正PRがある状態で、手動でformatを修正した場合、修正PRを閉じる
118118 - name : Close PullRequest
119- uses : actions/github-script@ed597411d8f924073f98dfc5c65a23a2325f34cd # v8 .0.0
119+ uses : actions/github-script@3a2844b7e9c422d3c10d287c895573f7108da1b3 # v9 .0.0
120120 if : (github.event_name == 'pull_request' && (github.event.action == 'closed' || steps.diff.outputs.result == '')) || ((github.event_name == 'push' || github.event_name == 'schedule' || github.event_name == 'workflow_dispatch' || github.event_name == 'repository_dispatch') && steps.diff.outputs.result == '')
121121 with :
122122 github-token : ${{inputs.github-token}}
0 commit comments