Send merged PR summaries to release coordinators fast

Your merged pull request commits arrive without structured notices, causing missed release notes and delayed QA handoffs. Leads receive concise merge summaries and repo links so release coordinators can act before the next deployment.