[git] 소문자를 대문자로 바꾸었을 때 파일명이 반영되지 않는 이슈

https://git.wtf/how-to-change-a-file-names-capitalization-without-changing-its-content

git은 기본적으로 대소문자에 대해 sensitive하지 않다.

이로 인해 기존에 소문자/대문자였던 파일명을 대문자/소문자로 변경하게 되면 git에서 그 변경사항을 정확히 파악하지 못하는 경우들이 있다.

이럴 때는 git mv 명령어를 통해 파일명이 변경되었음을 명시적으로 알려야 한다.