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

marktech0813 wants to merge 1 commit into

entrius:mainentrius/das-github-mirror:mainfrom

marktech0813:fix/206-gittensormarktech0813/das-github-mirror:fix/206-gittensorCopy head branch name to clipboard