git - How do I delete this file?

Question

The situation is like this.
There is a large file of 140M. The upload limit of the local git server has been changed, so it can be uploaded.
When I upload it to a git server on the Internet, like git.oschina.net, the file size is limited, only 100M, so I cannot push it.
So I wanted to delete it, but it didn’t work.
Things tried:

git rm --cached filename 没用
直接删除 没用

Thank you very much.

Answer 1

日经

How can I delete a file from git repo?

Remove a file from a Git repository without deleting it from the local filesystem

git rm --cached not working

Answer 2

Look at your instructions, do you only execute it locally git commit -m '大文件140M'这一步，然后想删除这个大文件。如果你直接执行git rm 大文件? If not, you can directly right-click the large file in your local warehouse and delete it. You can try it

Answer 3

You can’t delete things in the remote warehouse directly. Delete the local ones first, commit them, and then push them to the remote warehouse

git rm largefile
git commit -m "delete large file"
git push origin master