I am fairly beginner in git. My repo has simple MATLAB code files. I made the mistake of uploading a large file into the repo (> 100 MB). After that, I used the following commands
git add --all
git commit --all --message "Moar"
git push --all
The push command threw up the following error :
remote: error: GH001: Large files detected. You may want to try Git Large File Storage - https://git-lfs.github.com. remote: error: Trace: 47cf7a12aa48e59e3007901d70e3843b remote: error: See http://git.io/iEPt8g for more information. remote: error: File prepro/workbench-windows64-v1.3.2/workbench/bin_windows64/rfMRI_REST1_LR_Atlas.dtseries.nii is 418.46 MB; this exceeds GitHub's file size limit of 100.00 MB ... ! [remote rejected] master -> master (pre-receive hook declined)
I then panicked and deleted the above large file that was causing the error. But now I still get the same errors when I try to push to my master!!
These large files do not exist in my local repo anymore. So why isn't git letting me push ? Also, I have some changes in the local repo after this happened so I cannot revert back to the most recent commit without these large files.
Is there a way to cleanly and precisely do it by letting git know that the large files do not exist in the repo anymore?