Local과 Server 소스가 불일치 할때, git add -f

Local에는 파일이 있는데, 서버로 push를 하면, 일부 파일이 누락되는 경우가 있음

원인은 정확히는 모르나, Local에서 파일명을 강제로 변경한 이후에 push를 하면 서버에서 해당 파일이 사라지는 것 같음

그런 경우, command창에서 강제로 누락된 파일 또는 디렉토리를 add하여 push해야 

# 누락된 파일이 push 대상에 보이지 않음
git status

# 특정 디렉토리를 push 대상에 등록
git add -f ./src/main/resources/static

# 등록한 파일 또는 디렉토리가 대상에 포함됨을 확인
git status

# commit 및 push
git commit -m "누락된 부분 등록"
git push