Skip to content

Avoid @ mentioning PR creator for PR nudge comments#12

Merged
chainchad merged 1 commit into
mainfrom
dx-1167/pr-nudge-skip-ping
Jul 7, 2025
Merged

Avoid @ mentioning PR creator for PR nudge comments#12
chainchad merged 1 commit into
mainfrom
dx-1167/pr-nudge-skip-ping

Commits

Commits on Jul 7, 2025