From b7d57feab4b8e00a02525bc696df25e719b1d6f2 Mon Sep 17 00:00:00 2001 From: Elias <91018232+Magnet-js@users.noreply.github.com> Date: Mon, 20 Jul 2026 15:59:21 +0200 Subject: [PATCH] Delete .github/workflows directory --- .github/workflows/close-prs.yml | 44 --------------------------------- 1 file changed, 44 deletions(-) delete mode 100644 .github/workflows/close-prs.yml diff --git a/.github/workflows/close-prs.yml b/.github/workflows/close-prs.yml deleted file mode 100644 index fd828f7..0000000 --- a/.github/workflows/close-prs.yml +++ /dev/null @@ -1,44 +0,0 @@ -name: Close pull requests - -on: - pull_request_target: - types: [opened, reopened] - -permissions: - pull-requests: write - -jobs: - close: - name: Comment and close - if: github.event.pull_request.user.login != github.repository_owner - runs-on: ubuntu-latest - steps: - - name: Comment and close pull request - uses: actions/github-script@ed597411d8f924073f98dfc5c65a23a2325f34cd - with: - script: | - const message = [ - "Thanks for taking an interest in these dotfiles.", - "This repo is public so you can read it, learn from it, and fork it freely, but it is Kun's personal setup and does not accept pull requests or feature requests.", - "If you want to adapt something, please fork the repo and make it yours.", - "If you found a bug, please open a bug report issue instead of sending a patch.", - "Pull requests are auto-closed here so the repo can stay personal and predictable." - ].join("\n"); - - const { owner, repo } = context.repo; - const pull_number = context.payload.pull_request.number; - - await github.rest.pulls.createReview({ - owner, - repo, - pull_number, - event: "COMMENT", - body: message - }); - - await github.rest.pulls.update({ - owner, - repo, - pull_number, - state: "closed" - });