Update issue tracker when pull request gets priority label

Your priority-labeled pull requests often don't update linked issue records, leaving triage owners without context and delaying critical fixes. Get issue keys posted to your tracker within minutes.