Copy github merged PR links

githubのprページで拡張機能のアイコンをクリックするとマージされたprリンクの一覧をクリップボードにコピーします 【注意点】 ・省略された表示がある場合は、それをすべて展開するため少々時間がかかります