DEV Community

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

Collapse
 
nickytonline profile image
Nick Taylor • Edited

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!

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.


Install

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

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

Collapse
 
dechamp profile image
DeChamp

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