From 5ca502bbe8a23d5dd9bd28015e0176cac64c9c76 Mon Sep 17 00:00:00 2001
From: marktech0813 <178346048+marktech0813@users.noreply.github.com>
Date: Thu, 16 Jul 2026 16:01:10 +0000
Subject: [PATCH] Fix #206: delete mirrored issues on issues.deleted webhook

IssueHandler upserted opened/edited/closed/labeled events but ignored
issues.deleted, leaving stale rows queryable by miners APIs. Mirror the
CommentHandler delete path so deleted GitHub issues are removed.
---
 packages/das/src/webhook/handlers/issue.handler.ts | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/packages/das/src/webhook/handlers/issue.handler.ts b/packages/das/src/webhook/handlers/issue.handler.ts
index a25ba8b..405a242 100644
--- a/packages/das/src/webhook/handlers/issue.handler.ts
+++ b/packages/das/src/webhook/handlers/issue.handler.ts
@@ -25,6 +25,19 @@ export class IssueHandler {
     // Skip pull request events delivered as issue events
     if (issue.pull_request) return;
 
+    // Mirror CommentHandler / ReviewCommentHandler: drop rows on delete so
+    // miners APIs never keep serving a GitHub-deleted issue.
+    if (payload.action === "deleted") {
+      await this.issueRepo.delete({
+        repoFullName,
+        issueNumber: issue.number,
+      });
+      await this.repoRepo.update(repoFullName, {
+        lastEventAt: new Date().toISOString(),
+      });
+      return;
+    }
+
     const issueState = issue.state.toUpperCase();
     const data: Partial<Issue> = {
       repoFullName,