All Projects → refined-github → refined-github

refined-github / refined-github

Licence: MIT license
Browser extension that simplifies the GitHub interface and adds useful features

Programming Languages

typescript
32286 projects
CSS
56736 projects

Projects that are alternatives of or similar to refined-github

Refined Github
Browser extension that simplifies the GitHub interface and adds useful features
Stars: ✭ 16,446 (-13.74%)
Mutual labels:  firefox-addon, github-extension, userstyle, browser-extension
Npmhub
🔎 A browser extension to explore npm dependencies on GitHub repos
Stars: ✭ 542 (-97.16%)
Mutual labels:  safari-extension, firefox-addon, github-extension, browser-extension
refined-github
Safari extension that simplifies the GitHub interface and adds useful features
Stars: ✭ 21 (-99.89%)
Mutual labels:  safari-extension, github-extension, userstyle, browser-extension
Notifier For Github
Browser extension - Get notified about new GitHub notifications
Stars: ✭ 1,259 (-93.4%)
Mutual labels:  firefox-addon, github-extension, browser-extension
Spotify Lyrics
🎉 Desktop Spotify Web Player Instant Synchronised Lyrics
Stars: ✭ 162 (-99.15%)
Mutual labels:  safari-extension, firefox-addon, browser-extension
follows-you-github
A simple browser extension that shows a label to indicate that some user follows you on GitHub
Stars: ✭ 25 (-99.87%)
Mutual labels:  firefox-addon, github-extension, browser-extension
Contributors On Github
🌵 Show stats about contributors on github
Stars: ✭ 391 (-97.95%)
Mutual labels:  firefox-addon, github-extension, browser-extension
stylish-hub
🍹 A browser extension that brings new GitHub features and experience.
Stars: ✭ 14 (-99.93%)
Mutual labels:  firefox-addon, github-extension, browser-extension
Github Hovercard
Neat hovercards for GitHub.
Stars: ✭ 1,655 (-91.32%)
Mutual labels:  safari-extension, firefox-addon, browser-extension
snoozz-tab-snoozing
A Web Extension to declutter windows by snoozing tabs for later
Stars: ✭ 105 (-99.45%)
Mutual labels:  safari-extension, firefox-addon, browser-extension
selecton-extension
Selecton provides popup with actions on text selection in all major browsers
Stars: ✭ 36 (-99.81%)
Mutual labels:  firefox-addon, browser-extension
joof
🌎💨 Add custom JavaScript or CSS to any webpage
Stars: ✭ 26 (-99.86%)
Mutual labels:  safari-extension, browser-extension
omnibang
Browser extension for searching many sites directly from address bar using bangs provided by DuckDuckGo.
Stars: ✭ 31 (-99.84%)
Mutual labels:  firefox-addon, browser-extension
github-user-rank-extension
Your Github fame is getting closer with every open-source project you've built and promoted, with every new follower starring, using and forking your solution. This extension supplements every Github developer profile with language bars that show how far they've advanced on their road to the glory among %that_programming_language% community memb…
Stars: ✭ 38 (-99.8%)
Mutual labels:  github-extension, browser-extension
inject-jyutping
A browser extension that adds Cantonese pronunciation (Jyutping) on Chinese characters
Stars: ✭ 33 (-99.83%)
Mutual labels:  firefox-addon, browser-extension
security.txt
ℹ️ Cross-platform browser extension for discovering security.txt and humans.txt files.
Stars: ✭ 15 (-99.92%)
Mutual labels:  firefox-addon, browser-extension
SevenTV
A Web Extension implementing 7TV emotes and other features for integration in Twitch and YouTube chat. ⚠️ A full rewrite is in progress, avoid further contributions to this repo. See https://github.com/seventv/extensionv3
Stars: ✭ 205 (-98.92%)
Mutual labels:  firefox-addon, browser-extension
native-messaging
Native Messaging Host Protocol for Browser Extensions
Stars: ✭ 40 (-99.79%)
Mutual labels:  firefox-addon, browser-extension
Bonjourr
Minimalist & lightweight startpage inspired by iOS
Stars: ✭ 279 (-98.54%)
Mutual labels:  safari-extension, firefox-addon
locale-switcher
Browser Extension to quickly change your browser locale.
Stars: ✭ 75 (-99.61%)
Mutual labels:  firefox-addon, browser-extension

Refined GitHub

Browser extension that simplifies the GitHub interface and adds useful features

We use GitHub a lot and notice many annoyances we'd like to fix. So here be dragons.

Our hope is that GitHub will notice and implement some of these much-needed improvements. So if you like any of these improvements, please open a discussion on GitHub feedback or contact GitHub support about doing it.

GitHub Enterprise is also supported: How to enable it.

The GITHUB and REFINED GITHUB trademarks are owned by GitHub, Inc. and used under license.

Install

Chrome and other Chromium browsers

Firefox including Firefox Android

Safari on Mac, iOS and iPadOS

If you love Refined GitHub, consider sponsoring or hiring the maintainer @fregante


Highlights 🔥

Makes whitespace characters visible

Adds one-click merge conflict fixers

Adds reaction avatars showing who reacted to a comment

Lets you hide every event except comments or unresolved comments in issues and PRs

Linkifies issue/PR references and URLs in code and conversation titles

Adds the option to wait for checks when merging a PR

Adds a button to revert all the changes to a file in a PR

Select notifications by type and status

Repositories

File management

Code

Writing comments

Reading comments

Conversations

Viewing pull requests

Editing pull requests

Commits

Tags and releases

Profiles

Newsfeed

Notifications

Global

Fixes for GitHub shortcomings

Previously part of Refined GitHub

GitHub took inspiration from Refined GitHub and natively implemented dozens of its features, 🎉 so they've been removed from this extension. You can also see all the past features of Refined GitHub in a single list.

Customization

Most features can be disabled if they are JavaScript-based and you can override our CSS with your own in the extension options.

We're happy to receive suggestions and contributions, but be aware this is a highly opinionated project. There's a high bar for adding features. Users will always disagree with something. That being said, we're open to discussing things.

Links

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].