Have you deleted a GitHub issue in another tool only to find it still exists in GitHub?
That's because GitHub does not allow issue deletion. Therefore, it's impossible to delete a GitHub issue from the other tool.
If you delete a related task in the other tool, the issue will remain open in GitHub and will not re-appear in the other tool.
What we suggest:
Close the task with a "Won't Fix" or "Deleted" comment.