r/aws_elasticache_parameter_group: reset ID if deleted manually #5214
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| 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 |