파일명을 잘못만들어서 이것저것 해보다가 방법을 발견해서 기록
GitHub에서 파일 이름을 대문자에서 소문자로 변경하려면, Git의 대소문자 변경 감지가 기본적으로 작동하지 않기 때문에 약간의 우회 방법이 필요
git mv FILE.txt temp.txt
git mv temp.txt file.txt
git add .
git commit -m "Change FILE.txt to file.txt"
git push origin main
파일명 변경 정석
근데 이 방법은 해봤으나 동작을 안해서 다른 이름으로 변경했다가 하는게..