Git Useful Tips
ignore 已经 tracked 的文件
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