Refined GitHub Reviews and details

Social recommendations and mentions

• Ask HN: Those making $500/month on side projects in 2023 – Show and tell

  https://github.com/refined-github/refined-github I never intended it to be a side project, I just liked the extension and started contributing heavily to it, to the point where I became the maintainer for the next several years. I get about that amount per month in GitHub Sponsorships. Not nearly worth the amount of time I put into it, but it’s... - Source: Hacker News / 5 months ago

• GitHub is removing the Trending Repositories page due to “low usage”

  That's why I use this browser extension https://github.com/refined-github/refined-github. Source: over 1 year ago

• TIL: you can change the display width of tab characters in your GitHub settings if you don't like 8 character indentation

  Install the https://github.com/refined-github/refined-github browser extension and you'll see whitespace hints everywhere in GitHub. Very helpful in code review. Source: almost 2 years ago

• AVM (AOM Video Model) is the reference software for next codec from Alliance for Open Media

  Github UI with https://github.com/refined-github/refined-github is pretty damn clean no? Source: almost 2 years ago

• GitHub pull request file tree feature preview

  Might be worth making a bounty for it in refined github[0], similar things have been implemented in the past[1] [0] https://github.com/refined-github/refined-github [1] https://github.com/refined-github/refined-github/issues/2151. - Source: Hacker News / about 2 years ago

• While browsing a repo I accidentally created a fork. How do I delete it?

  Captain obvious strikes again... But I think the point flew over your head though while you were busy being judgemental. It's clearly a big enough problem that this exists: https://github.com/refined-github/refined-github. Source: over 2 years ago

• While browsing a repo I accidentally created a fork. How do I delete it?

  It's clearly a big enough problem that this exists: https://github.com/refined-github/refined-github. Source: over 2 years ago

• While browsing a repo I accidentally created a fork. How do I delete it?

  The Refined GitHub extension adds a ‘Delete fork’ button that’s really convenient if you want to clean up forks with no open PRs. Source: over 2 years ago

• Ask HN: What browser extensions are a must-have for HNers in 2021?

  An iPad extension would be cool :) (like Refined Github https://github.com/refined-github/refined-github#install). - Source: Hacker News / over 2 years ago

• An attempt to fix my broken coding flow in Neovim due to a newly purchased 24" 4k monitor

  Side-note: Reviewing a Github PR fullscreen drives me insane because new files are all focused on the far left side. I was surprised https://github.com/refined-github/refined-github doesn't have something to fix this out of the box. Source: over 2 years ago

• console.log("Hello World! Open Source Development begins");

  I was searching for a browser extension project on GitHub and I came across many but I choose Redefined GitHub. Redefined GitHub simplifies GitHub interface and adds useful feature(on the browser!!). Some of its features I find amazing are, it adds a button to revert the changes in a file in a PR, shows the associated pull requests on branches for forked repositories, adds a button to copy all the file contents... - Source: dev.to / over 2 years ago

• Is there a plug-in for removing the + when you copy stuff from GitHub?

  Https://github.com/sindresorhus/refined-github does that and a lot of other useful stuff. Source: almost 3 years ago