Файл не существует, но git считает, что он

Question

Почему?

git push origin master 
...... 
remote: error: GH001: Large files detected. 
remote: error: Trace: fdsfdsfdsfds..... 
remote: error: See http://git.io/iEPt8g for more information. 
remote: error: File some_file.so is 125.70 MB; this exceeds GitHub's file size limit of 100.00 MB 
! [remote rejected] master -> master (pre-receive hook declined) 
error: failed to push some refs to ... 

Но

ls some_file.so 
ls: cannot access some_file.so: No such file or directory 


$ git rm --cached some_file.so 
fatal: pathspec 'some_file.so' did not match any files 

Answer 1

По всей вероятности, вы совершили файл, а затем удалить его в дальнейшем совершить. GitHub отклоняет коммиты, где существовал файл.

GitHub has documentation on how to remove large files from existing commits.