Mentions support for GitHub pull requests

As a user of GitHub and Azure DevOps, I want to be able to mention (!) GitHub Pull Requests in Azure DevOps work items and comments so that I can easily reference the PRs that are related to the work item.