Notify release engineers of master merges before deploy

Your pull request merges land without clear ownership, causing unexpected production deploys. Release engineers get concise merge summaries with contributor mentions so they can confirm safety before the next deploy.