Skip to content

ci: skip Discord PR sync when webhook secrets are unset - #2

Merged
cursor[bot] merged 1 commit into
mainfrom
cursor/fix-discord-ci-skip-8440
Jul 11, 2026
Merged

ci: skip Discord PR sync when webhook secrets are unset#2
cursor[bot] merged 1 commit into
mainfrom
cursor/fix-discord-ci-skip-8440