Refined GitHub

Extension that simplifies the GitHub interface and adds useful features. Installs: 8201 | Stars: 24024 | Last update: 13 Aug 2024