If possible, I'd mute commits to main and also deployment notifications, since I believe both are redundant with the notification of the PR merging?