git rm --cached file_path
git commit -m 'delete remote somefile'
git push
不加--cached参数则是同时删除了本地的文件file_path
收藏一个好问题 :
https://stackoverflow.com/questions/4327708/git-reset-hard-head-leaves-untracked-files-behind
git rm --cached file_path
git commit -m 'delete remote somefile'
git push
不加--cached参数则是同时删除了本地的文件file_path
收藏一个好问题 :
https://stackoverflow.com/questions/4327708/git-reset-hard-head-leaves-untracked-files-behind