Skip to content

build(deps): bump actions/setup-java from 3.11.0 to 3.12.0 #5216

build(deps): bump actions/setup-java from 3.11.0 to 3.12.0

build(deps): bump actions/setup-java from 3.11.0 to 3.12.0 #5216

Workflow file for this run

name: "Check Maintainer Edit Permissions"
on:
pull_request_target:
types:
- opened
jobs:
community_check:
uses: ./.github/workflows/community-check.yml
secrets: inherit
with:
username: ${{ github.event.pull_request.user.login }}
PermissionsCheck:
needs: community_check
runs-on: ubuntu-latest
steps:
- name: Comment if maintainers cannot edit
if: (!github.event.pull_request.maintainer_can_modify && needs.community_check.outputs.maintainer == 'false')
uses: peter-evans/create-or-update-comment@c6c9a1a66007646a28c153e2a8580a5bad27bcfa
with:
issue-number: ${{ github.event.pull_request.number }}
body: |
Hey @${{ github.actor }} :wave: Thank you very much for your contribution! At times, our maintainers need to make direct edits to pull requests in order to help get it ready to be merged. Your current settings do not allow maintainers to make such edits. To help facilitate this, update your pull request to allow such edits as described in GitHub's [Allowing changes to a pull request branch created from a fork][1] documentation. (If you're using a fork owned by an organization, your organization may not allow you to change this setting. If that is the case, let us know.)
[1]: https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/working-with-forks/allowing-changes-to-a-pull-request-branch-created-from-a-fork