git - How do I delete this file?

Question

The situation is 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 can't push it. So I wanted to delete it, but...

过去多啦不再A梦 · Answer

日经

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

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

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