☰

Add filename copy button to the Github PR review comments

What the title says

ئاپتورى
HappyViking
بۈگۈن قاچىلانغىنى
0
جەمئىي قاچىلانغىنى
2
باھا نومۇرى
0 0 0
نەشرى
2
قۇرۇلغان ۋاقتى
2023-09-08
يېڭىلانغان ۋاقتى
2023-09-12
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.