Skip to content

Fix #206: delete mirrored issues on issues.deleted webhook#219

Open
marktech0813 wants to merge 1 commit into
entrius:mainfrom
marktech0813:fix/206-gittensor
Open

Fix #206: delete mirrored issues on issues.deleted webhook#219
marktech0813 wants to merge 1 commit into
entrius:mainfrom
marktech0813:fix/206-gittensor

Conversation

@marktech0813

Copy link
Copy Markdown

Summary

Fixes #206IssueHandler now deletes mirrored issue rows on issues.deleted, matching CommentHandler / ReviewCommentHandler.

Test plan

  • Receive issues.opened → row exists
  • Receive issues.deleted → row removed / miners API no longer returns it

@xiao-xiao-mao xiao-xiao-mao Bot added the bug Something isn't working label Jul 16, 2026
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.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Something isn't working

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant