☰

Add filename copy button to the Github PR review comments

What the title says

Versão de: 08/09/2023. Veja: a última versão.

Autor
HappyViking
Avaliações
0 0 0
Versão
1
Criado
08/09/2023
Atualizado
08/09/2023
Tamanho
2,46 KB
Licença
MIT
Aplicável a

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.