This is implemented in vnext. So much for a quick win! Issues and PRs and events responding to them (status, replies, etch) can be deleted with a tool like delete.nostr.com and gitworkshop will honor the deletion. If the event is a PR or an Issue and a user has already cached it, it will move into a 'marked as deleted' status. replies, etc will be removed. If a reply is deleted which has other replies to it, these replies will be shown under the top level thread with a 'missing parent note' heading. a separate job queue processes each deletion event which trawls through local db entries to remove cached counts of replies and update status accordingly. cc @Lez