GitHub プル要求に関するメンションのサポート

GitHub と Azure DevOps のユーザーとして、メンションできるようにしたい (!)作業項目に関連する PR を簡単に参照できるように、Azure DevOps の作業項目とコメントの GitHub Pull Requests。