DEV Community

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

Collapse
 
dechamp profile image
DeChamp

So one thing I noticed in the past is, both with GitHub and gitlab, it can sometimes have issues with this. I don’t know if it’s cache or what but it would be confused. It could be github/gitlab. Can you have someone else do a pull and check locally?

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.