I have a couple different user accounts. They all pull from the same github repo.
Some files are deleted in a git commit and merged into master.
For some reason, under one user, "git pull" does not sync the deleted file. It gets other changes from the same commit, but does not delete local files that are already deleted in remote master
.
Git pull works fine in my other user accounts, but only behaves weirdly with this particular one. Can someone tell me why?
Is it a permission issue that git does not have permission to delete files in this folder? If so, how do I confirm that?