修改 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；）
