Discussion on: Git file renaming issues (deleting/adding instead of renaming)

[Nick Taylor]

We ended doing it two PRs as they really wanted to get the PR in, but I'm definitely going to go over all the advice from @jessekphillips , @dechamp and @mgh87 . Thanks so much for chiming in to lend a hand.

And the good news is, my PR is merged!

Sindre Sorhus

@sindresorhus

The Refined GitHub browser extension just passed 1000 commits and we also just finished the transition to TypeScript, thanks to @nickytonline and @bfred_it 👏 github.com/sindresorhus/r…

15:26 PM - 08 Feb 2019

666

I'm really happy about this contribution as I used the Refined GitHub extension all the time.

sindresorhus / refined-github

Browser extension that simplifies the GitHub interface and adds useful features

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 email GitHub support about doing it.

GitHub Enterprise is also supported. More info in the options.

---

• Latest changes (Updated regularly. Subscribe!)
• Product Hunt submission (2017-07-08)
• What's new lately (2017-06-23)
• Original announcement (2016-03-31)

Install

• Chrome extension
• Firefox add-on
• Opera extension: Use this Opera extension to install the Chrome version.

Highlights

Mark issues and pull requests as unread (They will reappear in Notifications)	No more jumps caused by recently pushed branches (They are moved to the side)

Reaction avatars showing who reacted to a comment	The option to wait for checks when merging a PR

Clickable references to

…

View on GitHub

If you don't follow @sindresorhus yet, consider it. He's created so many amazing projects.

[Petry DeChamp Richardson]

Happy to hear you got it fixed and merged. Glad I could help.