From 6af02d338737219a9a3703805e56f94245245389 Mon Sep 17 00:00:00 2001
From: "planetrenox@protonmail.com" <planetrenox@protonmail.com>
Date: Tue, 29 Sep 2026 19:42:23 +0000
Subject: [PATCH] Drop the one-time PR copy cleanup

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
---
 sync-issues.js | 8 --------
 1 file changed, 8 deletions(-)

diff --git a/sync-issues.js b/sync-issues.js
index 29c038c..ad73c0f 100644
--- a/sync-issues.js
+++ b/sync-issues.js
@@ -36,14 +36,6 @@ const syncIssues = async ({ gh, gtRepo }, ghIssues, count) => {
     }
   };
   const link = n => `https://github.com/${gh.owner}/${gh.name}/issues/${n}`;
-  // One-time cleanup: PRs used to be copied as issues with a `pull request` label
-  for (const gt of gtIssues.filter(gt => gt.body.includes(`opened pull request [GitHub #${gt.number}](${link(gt.number)})`))) {
-    await request(`${gtRepo}/issues/${gt.number}`, gtHeaders, 'DELETE');
-    byNumber.delete(gt.number);
-    console.log(`Removed PR copy ${gtRepo.split('/repos/')[1]}#${gt.number}`);
-  }
-  const prLabel = gtLabels.find(label => label.name === 'pull request' && label.description === 'Pull request on GitHub');
-  if (prLabel) await request(`${gtRepo}/labels/${prLabel.id}`, gtHeaders, 'DELETE');
   let top = Math.max(0, ...byNumber.keys());
 
   for (const issue of ghIssues.sort((a, b) => a.number - b.number)) {