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)
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)