Add filename copy button to the Github PR review comments

What the title says

اعتبارا من 12-09-2023. شاهد أحدث إصدار.

المؤلف
HappyViking
التقييمات
0 0 0
الإصدار
2
تم إنشاؤه
08-09-2023
تم تحديثه
12-09-2023
Size
2.5 KB
الترخيص
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.