Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix issue generation failing after deleting a PR (#42001)
Seems that #41416 PR has been somehow (?) deleted and when we try to generate issue links for it, the issue generation fails (and it is not an issue as well). This change should workaround that by skipping the PR.
- Loading branch information