Skip to content

fix: exempt bot-authored PRs from Discord discussion URL check#349

Merged
thepagent merged 1 commit intomainfrom
fix/exempt-bot-from-discussion-check
Apr 15, 2026
Merged

fix: exempt bot-authored PRs from Discord discussion URL check#349
thepagent merged 1 commit intomainfrom
fix/exempt-bot-from-discussion-check

Commits

Commits on Apr 14, 2026