Because of the local changes to the folder name case, synchronization to Git is not case-sensitive, resulting in some files can not sync, so you have to remove the Git Remote Library folder, and then re-sync
As below, I removed all of the SRC, but the local file was retained.
Git rm-r-n--cached */src/\*//-n: With this parameter, when the command is executed, it does not delete any files, but rather shows a preview of the list of files to be deleted by this command.
git rm-r--cached */src/\*//Final execution command.
Git commit-m "Remove version control for all files in src directory"//Submit
Git push origin master//submit to remote server
If you use the git status command to view, then the files in the/src/directory appear in the results list, we do not want the files in this directory to appear, then under the project root directory, and the. Git sibling directory, create a new. gitignore file,
Submit the. Gitignore to the remote server. The/SRC directory will not be submitted.
How git deletes a remote folder or file