[Git] git 대소문자 변경하기

git은 대소문자를 구분하지 않아서,

파일을 소문자로 올린 후 대문자로 변경하여 push를 하여도 원격 저장소의 파일은 반영이 되질 않는다.

그래서 파일을 지웠다가 push한 후 이름을 바꾼 후 push를 하여 반영을 하였는데

git mv --force pre_file new_file
명령어를 사용하여 파일 이름을 변경한 후

push를 하면 대소문자를 바꿀 수 있다.