Extra GitHub PR Info
ID
pianlbphbcjkcghlboepagpoilanigffEdits to the GitHub UI to make it more informative
Informations sur l’extension
Captures d’écran
Description
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