Send shipped PR alerts to authors before release notes publish

Your pull requests are labeled shipped without clear follow-up, causing missed mentions and delayed release notes. Authors receive concise, actionable alerts so release mentions are ready before the next release notes publish.