DEV Community

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

Collapse
 
nickytonline profile image
Nick Taylor

Sounds like this could be the case and yes, I did have someone else pull and check locally. They tried as well. Good to know that it might just be on the GitHub end.

Collapse
 
dechamp profile image
DeChamp

So two things. Give it time and check later. Second is create a new repo on the same service and see what it shows. That should prove the theory.