From what I can tell, the recent GitHub notifications changes introduced a change such that a mention in a PR merge message will generate notifications for every fork that pulls that change into their main branch, e.g. the main branch merges a PR with the merge message:
Fix issue #1484, reviewed by @user
Now every time a downstream fork updates their copy of
main with the upstream changes, the
@user mentioned in the merge message gets a notification.
Is there any way to disable these types of notifications without completely disabling notifications for mentions?