From 114b0cd745bda9683ef1be94a40fcc4c86792235 Mon Sep 17 00:00:00 2001
From: Cody Fincher <204685+cofin@users.noreply.github.com>
Date: Sun, 19 Jan 2025 19:50:18 -0600
Subject: [PATCH] chore(ci): disable PR notifier (#355)

---
 .github/workflows/pr-merged.yml | 52 ---------------------------------
 1 file changed, 52 deletions(-)
 delete mode 100644 .github/workflows/pr-merged.yml

diff --git a/.github/workflows/pr-merged.yml b/.github/workflows/pr-merged.yml
deleted file mode 100644
index 9cabf31a..00000000
--- a/.github/workflows/pr-merged.yml
+++ /dev/null
@@ -1,52 +0,0 @@
-name: "PR merged"
-
-on:
-  pull_request:
-    types:
-      - closed
-    branches:
-      - main
-
-jobs:
-  close_and_notify:
-    name: Close issues and notify
-    if: github.event.pull_request.merged == true
-    runs-on: ubuntu-latest
-    steps:
-      - uses: actions/github-script@v7
-        with:
-          script: |
-            const prNumber = context.payload.number
-            const branch = context.baseRef
-            // TODO: use semantic commits to specify the exact version, when it will be released
-            const commentBody = `<!--closing-comment-->\nThis issue has been closed in #${prNumber}. The change will be included in upcoming releases.`
-
-            const query = `query($number: Int!, $owner: String!, $name: String!) { repository(owner: $owner, name: $name) {
-                pullRequest(number: $number) {
-                      id
-                      closingIssuesReferences (first: 10) { edges { node { number } } }
-                      }
-                  }
-              }`
-            const res = await github.graphql(query, {number: prNumber, owner: context.repo.owner, name: context.repo.repo})
-            const linkedIssues = res.repository.pullRequest.closingIssuesReferences.edges.map(
-              edge => edge.node.number
-            )
-
-            for (const issueNumber of linkedIssues) {
-              const res = await github.rest.issues.update({
-                  owner: context.repo.owner,
-                  repo: context.repo.repo,
-                  issue_number: issueNumber,
-                  state: "closed",
-                  state_reason: "completed"
-              })
-              if (res.status === 200) {
-                await github.rest.issues.createComment({
-                      owner: context.repo.owner,
-                      repo: context.repo.repo,
-                      issue_number: issueNumber,
-                      body: commentBody,
-                })
-              }
-            }