The folder name submitted before was in lowercase, but later it was changed to uppercase and submitted again. There are two copies in uppercase and lowercase on github. As shown in the picture:
There are only three folders in the local area that have been changed to uppercase. I would like to ask, is this problem caused by setting the case sensitivity of git? How to delete three folders starting with lowercase on github. There are no three lowercase letters locally.
It is best not to distinguish between upper and lower case for directories and files. Windows does not recognize upper and lower case, but Linux does. If git encounters this kind of problem, it can only be based on the current system, so it is best to avoid changing the size. Write about this kind of thing. If you want to overwrite things on github, it's very simple, git push origin master -f (-f is a forced push)