[5.x] Add some options to the static warm command to limit the number of requests #2240
Workflow file for this run
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: Pull Requests | |
| # Credit: https://github.com/github/docs/blob/main/.github/workflows/notify-when-maintainers-cannot-edit.yaml | |
| # https://github.com/laravel/.github/blob/main/.github/workflows/pull-requests.yml | |
| on: | |
| pull_request_target: | |
| types: | |
| - opened | |
| permissions: | |
| pull-requests: write | |
| jobs: | |
| uneditable: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/github-script@v7 | |
| with: | |
| script: | | |
| const repo = context.repo.repo; | |
| const query = ` | |
| query($number: Int!) { | |
| repository(owner: "statamic", name: "${repo}") { | |
| pullRequest(number: $number) { | |
| headRepositoryOwner { | |
| login | |
| } | |
| maintainerCanModify | |
| state | |
| } | |
| } | |
| } | |
| `; | |
| const pullNumber = context.issue.number; | |
| const variables = { number: pullNumber }; | |
| try { | |
| console.log(`Check for maintainer edit access ...`); | |
| const result = await github.graphql(query, variables); | |
| console.log(JSON.stringify(result, null, 2)); | |
| const pullRequest = result.repository.pullRequest; | |
| if (pullRequest.headRepositoryOwner.login === 'statamic') { | |
| console.log('PR owned by statamic'); | |
| return; | |
| } | |
| if (pullRequest.state !== 'OPEN') { | |
| console.log('PR has already been closed or merged'); | |
| return; | |
| } | |
| if (!pullRequest.maintainerCanModify) { | |
| console.log('PR not owned by statamic and does not have maintainer edits enabled'); | |
| await github.rest.issues.createComment({ | |
| issue_number: pullNumber, | |
| owner: 'statamic', | |
| repo, | |
| body: "Thanks for submitting a PR!\n\nIn order to review and merge PRs most efficiently, we require that all PRs grant maintainer edit access before we review them. For information on how to do this, [see the relevant GitHub documentation](https://docs.github.com/en/github/collaborating-with-pull-requests/working-with-forks/allowing-changes-to-a-pull-request-branch-created-from-a-fork). Additionally, GitHub doesn't allow maintainer permissions from organization accounts. Please resubmit this PR from a personal GitHub account with maintainer permissions enabled." | |
| }); | |
| await github.rest.pulls.update({ | |
| pull_number: pullNumber, | |
| owner: 'statamic', | |
| repo, | |
| state: 'closed' | |
| }); | |
| } | |
| } catch(e) { | |
| console.log(e); | |
| } |