summaryrefslogtreecommitdiff
path: root/meshmc/.github/workflows/merge-blocking-pr.yml
diff options
context:
space:
mode:
Diffstat (limited to 'meshmc/.github/workflows/merge-blocking-pr.yml')
-rw-r--r--meshmc/.github/workflows/merge-blocking-pr.yml64
1 files changed, 0 insertions, 64 deletions
diff --git a/meshmc/.github/workflows/merge-blocking-pr.yml b/meshmc/.github/workflows/merge-blocking-pr.yml
deleted file mode 100644
index 3542a470e0..0000000000
--- a/meshmc/.github/workflows/merge-blocking-pr.yml
+++ /dev/null
@@ -1,64 +0,0 @@
-name: Merged Blocking Pull Request Automation
-
-on:
- pull_request_target:
- types:
- - closed
- workflow_dispatch:
- inputs:
- pr_id:
- description: Local Pull Request number to work on
- required: true
- type: number
-
-permissions: {}
-
-jobs:
- update-blocked-status:
- name: Update Blocked Status
- runs-on: ubuntu-slim
-
- # a pr that was a `blocking:<id>` label was merged.
- # find the open pr's it was blocked by and trigger a refresh of their state
- if: "${{ github.event_name == 'workflow_dispatch' || github.event.pull_request.merged == true && contains(github.event.pull_request.labels.*.name, 'status: blocking') }}"
-
- steps:
- - name: Generate token
- id: generate-token
- uses: actions/create-github-app-token@v3
- with:
- app-id: ${{ vars.PULL_REQUEST_APP_ID }}
- private-key: ${{ secrets.PULL_REQUEST_APP_PRIVATE_KEY }}
-
- - name: Gather Dependent PRs
- id: gather_deps
- env:
- GH_TOKEN: ${{ steps.generate-token.outputs.token }}
- PR_NUMBER: ${{ inputs.pr_id || github.event.pull_request.number }}
- run: |
- blocked_prs=$(
- gh -R ${{ github.repository }} pr list --label 'status: blocked' --json 'number,body' \
- | jq -c --argjson pr "$PR_NUMBER" '
- reduce ( .[] | select(
- .body |
- scan("(?:blocked (?:by|on)|stacked on):? #([0-9]+)") |
- map(tonumber) |
- any(.[]; . == $pr)
- )) as $i ([]; . + [$i])
- '
- )
- {
- echo "deps=$blocked_prs"
- echo "numdeps=$(jq -r '. | length' <<< "$blocked_prs")"
- } >> "$GITHUB_OUTPUT"
-
- - name: Trigger Blocked PR Workflows for Dependants
- if: fromJSON(steps.gather_deps.outputs.numdeps) > 0
- env:
- GH_TOKEN: ${{ steps.generate-token.outputs.token }}
- DEPS: ${{ steps.gather_deps.outputs.deps }}
- run: |
- while read -r pr ; do
- gh -R ${{ github.repository }} workflow run 'blocked-prs.yml' -r "${{ github.ref_name }}" -f pr_id="$pr"
- done < <(jq -c '.[].number' <<< "$DEPS")
-