GitHub repository: xeger/webext-circleci-tweaks
Primary language: JavaScript
Description: Web browser extension to enhance the CircleCI user interface.