build(deps): bump peter-evans/create-or-update-comment

PR-URL: 	#1159

Bumps [peter-evans/create-or-update-comment](https://github.com/peter-evans/create-or-update-comment) from 3.0.2 to 3.1.0.
- [Release notes](https://github.com/peter-evans/create-or-update-comment/releases)
- [Commits](peter-evans/create-or-update-comment@c6c9a1a...23ff157)

---
updated-dependencies:
- dependency-name: peter-evans/create-or-update-comment
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <[email protected]>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
Reviewed-by: Philipp Burckhardt <[email protected]>

Author: dependabot[bot]

.github/workflows/check_required_files.yml

@@ -215,7 +215,7 @@ jobs:
       - name: 'Create a comment on the pull request informing the user whether the pull request is missing required files'
         if: steps.check-reviewers.outputs.is_stdlib_bot == 'true'
         # Pin action to full length commit SHA
-        uses: peter-evans/create-or-update-comment@c6c9a1a66007646a28c153e2a8580a5bad27bcfa # v3.0.2
+        uses: peter-evans/create-or-update-comment@23ff15729ef2fc348714a3bb66d2f655ca9066f2 # v3.1.0
         with:
           # Specify the issue or pull request number:
           issue-number: ${{ github.event.pull_request.number }}

.github/workflows/scaffold_pkg_via_branch_push.yml

@@ -108,7 +108,7 @@ jobs:
       - name: 'Add comment to pull request'
         if: steps.check-branch-name.outputs.issue-number != ''
         # Pin action to full length commit SHA
-        uses: peter-evans/create-or-update-comment@c6c9a1a66007646a28c153e2a8580a5bad27bcfa # v3.0.2
+        uses: peter-evans/create-or-update-comment@23ff15729ef2fc348714a3bb66d2f655ca9066f2 # v3.1.0
         with:
           issue-number: ${{ steps.check-branch-name.outputs.issue-number }}
           body: |

.github/workflows/scaffold_pkg_via_pull_request_assignment.yml

@@ -168,7 +168,7 @@ jobs:
       # Add a comment to the pull request:
       - name: 'Add comment to pull request'
         # Pin action to full length commit SHA
-        uses: peter-evans/create-or-update-comment@c6c9a1a66007646a28c153e2a8580a5bad27bcfa # v3.0.2
+        uses: peter-evans/create-or-update-comment@23ff15729ef2fc348714a3bb66d2f655ca9066f2 # v3.1.0
         with:
           issue-number: ${{ github.event.pull_request.number }}
           body: |
@@ -262,7 +262,7 @@ jobs:
       # Add comment to the pull request:
       - name: 'Add comment to pull request'
         # Pin action to full length commit SHA corresponding to v3.0.2
-        uses: peter-evans/create-or-update-comment@c6c9a1a66007646a28c153e2a8580a5bad27bcfa
+        uses: peter-evans/create-or-update-comment@23ff15729ef2fc348714a3bb66d2f655ca9066f2
         with:
           issue-number: ${{ github.event.pull_request.number }}
           body: |