From 83376b56698e9599089ab5b82bbaf0fa0eb3b308 Mon Sep 17 00:00:00 2001 From: Steffen Illium Date: Thu, 28 Mar 2024 19:58:14 +0100 Subject: [PATCH] Delete .github/workflows/bad-pr.yml --- .github/workflows/bad-pr.yml | 35 ----------------------------------- 1 file changed, 35 deletions(-) delete mode 100644 .github/workflows/bad-pr.yml diff --git a/.github/workflows/bad-pr.yml b/.github/workflows/bad-pr.yml deleted file mode 100644 index 9c9c3647..00000000 --- a/.github/workflows/bad-pr.yml +++ /dev/null @@ -1,35 +0,0 @@ -name: Cleanup bad PR - -on: - pull_request_target: - types: [opened, reopened] - -permissions: - contents: read - -jobs: - close-pr: - permissions: - pull-requests: write - runs-on: ubuntu-latest - if: "contains(github.event.pull_request.body, 'by deleting this comment block') || github.event.pull_request.body == ''" - steps: - - uses: actions-ecosystem/action-add-labels@v1 - with: - labels: 'Type: Invalid' - - uses: actions-ecosystem/action-add-labels@v1 - with: - labels: 'Type: Spam' - - uses: superbrothers/close-pull-request@v3 - with: - # Optional. Post an issue comment just before closing a pull request. - comment: | - **You have created a Pull Request to the wrong repository.** This is the repository for [Minimal Mistakes][1], the free Jekyll theme. See [GitHub Docs: About pull requests][2] if you need help. - - [1]: https://mmistakes.github.io/minimal-mistakes/ - [2]: https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/proposing-changes-to-your-work-with-pull-requests/about-pull-requests - - uses: sudo-bot/action-pull-request-lock@v1.0.5 - with: - github-token: ${{ secrets.GITHUB_TOKEN }} - number: ${{ github.event.pull_request.number }} - lock-reason: spam