Git

git에서 폴더나 파일명 대소문자 구분하는 설정

문제상황 팀프로젝트를 할 때 문제가 발생했습니다. 한 분이 dev 브랜치가 아닌 master 브랜치에 잘못 merge해서 그 커밋을 revert했습니다. (실제 커밋은 아니고 간단한 예제를 만들었습니다.) 그 브랜치를 dev 브랜치에 merge하고 master 브랜치