关于Git指令常用的（及解决文件名大小写问题）
版本回退
git reset --head id
回退的版本推送到远程仓库
git push origin HEAD --force
创建远程分支
git push --set-upstream origin 分支名（前面需要clone,checkout 、创建、push ）
解决文件名大小写问题（只对当前仓库有用，别的仓库修改需要重复这个指令）
git config core.ignorecase false
删除远程文件或者文件夹
git rm --cached +文件路径 -r