From 095d87eb55217408c61098633f2b64f99f4fbd05 Mon Sep 17 00:00:00 2001 From: Gautam Botrel Date: Wed, 19 Feb 2025 14:23:27 -0600 Subject: [PATCH] chore: remove useless github workflow --- .github/workflows/close-tagged-pr.yml | 37 --------------------------- 1 file changed, 37 deletions(-) delete mode 100644 .github/workflows/close-tagged-pr.yml diff --git a/.github/workflows/close-tagged-pr.yml b/.github/workflows/close-tagged-pr.yml deleted file mode 100644 index 55e325c33e..0000000000 --- a/.github/workflows/close-tagged-pr.yml +++ /dev/null @@ -1,37 +0,0 @@ -name: Auto-Close PRs with Specific Tag - -on: - pull_request: - types: [opened, labeled] - -jobs: - close_pr: - runs-on: ubuntu-latest - steps: - - name: Check PR Labels - id: check-label - uses: actions/github-script@v7 - with: - github-token: ${{ secrets.GITHUB_TOKEN }} - script: | - const prNumber = context.payload.pull_request.number; - const labels = context.payload.pull_request.labels.map(label => label.name); - const forbiddenLabel = "not-accepted"; - - if (labels.includes(forbiddenLabel)) { - await github.rest.pulls.update({ - owner: context.repo.owner, - repo: context.repo.repo, - pull_number: prNumber, - state: "closed" - }); - - await github.rest.issues.createComment({ - owner: context.repo.owner, - repo: context.repo.repo, - issue_number: prNumber, - body: `**Thank you for your pull request and changes.** - Due to a change in our contribution guideline policy, we are closing this pull request as it does not meet the contribution criteria. - Please [see here for more details](https://github.com/Consensys/gnark/blob/master/CONTRIBUTING.md#guidelines-for-non-code-and-other-trivial-contributions).` - }); - } \ No newline at end of file