Skip to content

Fix unneeded personal notifications when a PR is not actually edited#425

Merged
yevhenhr merged 1 commit intodevfrom issue/fix-unneeded-personal-notificationsOct 22, 2024

Commits