Skip to content

workflows: close incomplete PRs #1

workflows: close incomplete PRs

workflows: close incomplete PRs #1

Workflow file for this run

name: Close incomplete pull requests
on:
pull_request:
types:
- opened
- edited
- reopened
permissions: {}
defaults:
run:
shell: bash -xeuo pipefail {0}
concurrency:
group: "incomplete-pr-${{ github.event.pull_request.number }}"
cancel-in-progress: true
jobs:
manage:
if: github.repository == 'Homebrew/brew'
runs-on: ubuntu-latest
permissions:
issues: write
pull-requests: write
env:
GH_TOKEN: ${{ github.token }}
PR_BODY: ${{ github.event.pull_request.body }}
PR_NUMBER: ${{ github.event.pull_request.number }}
PR_STATE: ${{ github.event.pull_request.state }}
PR_TEMPLATE_URL: ${{ github.server_url }}/${{ github.repository }}/blob/HEAD/.github/PULL_REQUEST_TEMPLATE.md
steps:
- name: Set up Homebrew
id: set-up-homebrew
uses: Homebrew/actions/setup-homebrew@main
with:
core: false
cask: false
- name: Manage incomplete pull request
working-directory: ${{ steps.set-up-homebrew.outputs.repository-path }}
run: bash .github/workflows/incomplete-prs.sh