Merge remote-tracking branch 'origin/dependabot/github_actions/actions/github-script-4.0.2' into combined-pr-branch

Author: rnorth

.github/workflows/combine-prs.yml

@@ -30,7 +30,7 @@ jobs:
 
     # Steps represent a sequence of tasks that will be executed as part of the job
     steps:
-      - uses: actions/github-script@v3
+      - uses: actions/github-script@v4.0.2
         id: fetch-branch-names
         name: Fetch branch names
         with:
@@ -121,7 +121,7 @@ jobs:
           git pull origin $sourcebranches --no-edit
           git push origin $COMBINE_BRANCH_NAME
       # Creates a PR with the new combined branch
-      - uses: actions/github-script@v3
+      - uses: actions/github-script@v4.0.2
         name: Create Combined Pull Request
         with:
           github-token: ${{secrets.GITHUB_TOKEN}}