microsoft / vscode-github-triage-actions

Github Actions for helping VS Code manage our issues

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Don't delete PR messages if the PR has not been merged

lramos15 opened this issue · comments

We can attempt to parse the GitHub PR URL from the message and then query the GitHub API to check if the PR is merged or closed. This should prevent cases where the #codereview channel gives a false sense of security with a ✅ review