☰

Add filename copy button to the Github PR review comments

What the title says

Version vom 08.09.2023. Aktuellste Version

Autor
HappyViking
Bewertungen
0 0 0
Version
1
Erstellt am
08.09.2023
Letzte Aktualisierung
08.09.2023
Größe
2,46 KB
Lizenz
MIT
Wird angewandt auf

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.