Git填坑日志

修改 ignore 及时生效

问题：

有时候文件已经提交远端，之后才发现有些需要 ignore 的文件也被提交到了远端，通常是一些本地化的

配置文件。

例如，对 Android 来说，gradle.properties 里面保存了一些本地的代理设置。这个不要放到远端，因为别人的代理设置和你的不一定一样。

解决方法：

git rm --cached --force gradle.properties

这条命令会将 gradle.properties 文件剔除 git 管理。只是不被 git 管理，但是文件还是在本地的。

将该次提交 push 到远端后也会将远端的该文件删除。完美解决！

（随后步骤：先git commit -m "commitInfo"；git push origin localBranchName:remoteBranchName；）