GitHub Actions issue linkというChromeの拡張機能を作った。 chrome.google.com github.com pushイベントで実行されたGitHub ActionsにはマージされたPRへのリンクはないが、タイトルには「#1234」とPR（Issue）番号があることが多いので、それをPR（Issue…