Send merged pull request details to release leads before deploy

Your pull request records land without URLs or merge metadata, causing delayed releases and poor audit trails. Release leads get a concise PR summary with merge time, URL, and author for handoff before the next deploy.