Git 파일 및 폴더명 변경 안 되는 오류

프로젝트 진행중에 파일명이 달라 경로 에러가 발생해 파일명을 수정 시킬 필요가 있었다. 때문에 컨벤션에 맞게 파일명 대소문자를 바꾸어 푸쉬 했는데 git pull을 한 팀원들의 파일에는 변경되지 않는 에러를 만났다. 문제사항을 찾다가 git은 기본적으로 파일의 대소문자를 구분하지 않는다는 것을 알았다. 때문에 내 로컬파일에서 대소문자를 바꿔 푸쉬했더라도 깃헙에는 변경되지 않은 것처럼 올라가는 것이였다.