chore(plugin-wit/ci): Remove faulty close-prs.yml (#3486)
This commit is contained in:
parent
bbd7690dd1
commit
31157795da
28
.github/workflows/close-prs.yml
vendored
28
.github/workflows/close-prs.yml
vendored
@ -1,28 +0,0 @@
|
|||||||
name: Close PRs
|
|
||||||
|
|
||||||
on:
|
|
||||||
pull_request_target:
|
|
||||||
types: [opened, reopened]
|
|
||||||
workflow_dispatch:
|
|
||||||
|
|
||||||
permissions:
|
|
||||||
pull-requests: write
|
|
||||||
|
|
||||||
jobs:
|
|
||||||
manage-prs:
|
|
||||||
runs-on: ubuntu-slim
|
|
||||||
steps:
|
|
||||||
- name: "Close PR(s)"
|
|
||||||
run: |
|
|
||||||
if [ "${{ github.event_name }}" = "pull_request" ]; then
|
|
||||||
echo "${{ github.event.pull_request.number }}"
|
|
||||||
else
|
|
||||||
gh pr list --state open --limit 200 --json number --jq '.[].number'
|
|
||||||
fi | while read pr; do
|
|
||||||
if [ -n "$pr" ]; then
|
|
||||||
echo "Closing PR #$pr"
|
|
||||||
gh pr close $pr --comment "This repository does not accept direct pull requests. See #44 for details."
|
|
||||||
fi
|
|
||||||
done
|
|
||||||
env:
|
|
||||||
GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
|
|
||||||
Loading…
Reference in New Issue
Block a user