When I do the following:
git add *
git commit -m "msg"
git push origin develop
I get the following errors:
Counting objects: 25, done.
Delta compression using up to 4 threads.
Compressing objects: 100% (24/24), done.
Writing objects: 100% (25/25), 46.43 MiB | 2.49 MiB/s, done.
Total 25 (delta 13), reused 0 (delta 0)
remote: Resolving deltas: 100% (13/13), completed with 11 local objects.
remote: error: GH001: Large files detected. You may want to try Git Large File Storage - https://git-lfs.github.com.
remote: error: Trace: ffe0c9f32d9cde4cedfc1f4713eb82b9
remote: error: See http://git.io/iEPt8g for more information.
remote: error: File tags is 282.99 MB; this exceeds GitHub's file size limit of 100.00 MB
To https://mygithubrepo
! [remote rejected] develop -> develop (pre-receive hook declined)
error: failed to push some refs to 'https://mygithubrepo'
I have then deleted the file 'tags' from my hard disk but every time I try to push, I get the same error. The file has never been pushed to my repository, so I just need to remove it from this current commit. I have tried numerous things, but I end up with this same error every time. Any help?
When I do
git ls-files
The file 'tags' does not even show in the list. But still it is trying to push it?