Extra GitHub PR Info
ID
pianlbphbcjkcghlboepagpoilanigffEdits to the GitHub UI to make it more informative
Informații despre extensie
Capturi de ecran
Descriere
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