☰

Add filename copy button to the Github PR review comments

What the title says

Autor
HappyViking
Instalaciones diarias
0
Instalaciones totales
2
Calificaciones
0 0 0
Versión
2
Creado
8/9/2023
Actualizado
12/9/2023
Tamaño
2,5 KB
Licencia
MIT
Funciona en

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.