Add filename copy button to the Github PR review comments

What the title says

このスクリプトの質問や評価の投稿はこちら通報はこちらへお寄せください。
作者
HappyViking
1日のインストール数
0
累計インストール数
2
評価
0 0 0
バージョン
2
作成日
2023/09/08
更新日
2023/09/12
大きさ
2.5KB
ライセンス
MIT
対象サイト

I find it kind of annoying that when you're on the page for a Github PR that someone has reviewed, there isn't a copy button to copy the filenames of the files the person has commented on until you go to the "review" tab. This fixes that.