I added a 212MB file to my folder and committed it and tried to push it. Git told me that the file size was too big so I can't push it. I deleted the file, but it is still shown when I try to push my code.
My actual steps were:
I did
git add .
Then
git commit -m "New css"
Then
git push origin development
Then it took a long time to run the above command. It ended with saying "path/to/file/file.mp4 is 212MB which is too big. Failed to push".
Then I deleted that file manually.
Tried pushing again, same problem.
I was told by other stackoverflow answers to use git filter-branch --tree-filter 'rm -rf path/to/your/file' HEAD
I'm just trying to understand what this means. Will this affect my whole repo or just the above mentioned file? What happens if I manually deleted the file already? So the file path doesn't exist.
For example, since I tried pushing to the development branch, I did git push origin development
. This failed, so assuming the file I'm trying to delete is named Testing.mp4, should this be the code:
git filter-branch --tree-filter 'rm -rf public/uploads/videos/testing.mp4' HEAD
Am I right? Again, this will ONLY delete the video and nothing else?