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