Support new PR view in isClosedIssue
; tighten related checks#201
Merged
kovsu merged 7 commits intorefined-github:mainfrom Nov 6, 2024
Merged
Support new PR view in `isClosedIssue`; tighten related checks#201kovsu merged 7 commits intorefined-github:mainfrom
kovsu merged 7 commits intorefined-github:mainfrom