Extra GitHub PR Info
ID
pianlbphbcjkcghlboepagpoilanigffEdits to the GitHub UI to make it more informative
Informació de l'extensió
Captures de pantalla
Descripció
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