Extra GitHub PR Info
ID
pianlbphbcjkcghlboepagpoilanigffEdits to the GitHub UI to make it more informative
Información de la extensión
Capturas de pantalla
Descripción
Edits to the GitHub UI to make it more informative
A collection of GitHub quality of life improvements:
See https://github.com/driazati/github-extension for details