Git Useful Tips

git rm --cached [-r] <file>

git filter-branch \
  --force \
  --prune-empty \
  --index-filter \
  'git rm --cached --ignore-unmatch grav/grav-admin-v1.1.17.tar.gz' \
  --tag-name-filter cat -- --all

git@git.panezhang.cn:docker/kitty

• http://www.cnblogs.com/shines77/p/3460274.html
• http://harttle.com/2016/03/22/purge-large-files-in-gitrepo.html