Удалите это и передайте это.
git rm log/development.log
git commit -m "Removed development log file which was supposed to be ignored."
git push
Теперь проверьте и убедитесь, что ваш .gitignore файл настроен правильно.
touch log/development.log
git add log/development.log
И вы должны получить это от git:
The following paths are ignored by one of your .gitignore files:
log/development.log
Use -f if you really want to add them.
fatal: no files added
Если вы этого не получили, ваш файл .gitignore неверен. Если вы получили правильный вывод, единственный способ, которым кто-то мог зафиксировать файл журнала, - это если он изменил свой .gitignore (локально или переопределив игнорирование своим глобальным core.excludesfile) или использовал -f переключиться, чтобы заставить его.