Skip to content

feat(github-comments): Don't comment info-level issues on merged PRs#66110

Merged
iamrajjoshi merged 3 commits intomasterfrom
raj/github-comments/do-not-comment-info-level-issues
Mar 1, 2024
Merged

feat(github-comments): Don't comment info-level issues on merged PRs#66110
iamrajjoshi merged 3 commits intomasterfrom
raj/github-comments/do-not-comment-info-level-issues

Commits

Commits on Feb 29, 2024