从git server历史记录中删除错误提交的文件

侵删，引用自： https://www.link-intersystems.com/blog/2014/07/17/remove-directories-and-files-permanently-from-git/

1. 保存脚本为 git_delete_paths.sh：
   注意，我设置只在当前分支以及最多前5次的commit: HEAD~5..HEAD ，如果是想要检查所有分支 --all (这个有点危险)

#!/bin/bash
 
GIT_DELETE_PATH=$*
git filter-branch \
    --index-filter "git rm -rf --cached --ignore-unmatch $GIT_DELETE_PATH" \
    --tag-name-filter "cat" \
    -- \
    `git log --reverse -- $GIT_DELETE_PATH | head -n 1 | awk '{ print $2 "^1" }'`..`git log -1 -- $GIT_DELETE_PATH | head -n 1 | awk '{ print $2 }'` \
    --HEAD~5..HEAD\
&& \
git for-each-ref --format="%(refname)" refs/original/ | xargs -n 1 git update-ref -d \
&& \
git reflog expire --expire=now --all \
&& \
git gc --prune=now

2. 执行（例如，希望删除两个目录和一个文件）

$ git_delete_paths.sh  path1/lib  path2/lib  xxx.bin

3. 然后提交当前分支到 git server:

git push  --force