Я разрабатываю веб-приложение и заметил, что забыл проигнорировать файл, который автоматически создается Gulp. Я просто добавил путь к файлу в свой .gitignore файл. После выполнения этих команд.
git rm -r --cached .
git add .
Затем файл помечается как удаленный, но следует ли мне сделать еще один шаг и запустить такую команду, чтобы полностью удалить файл из истории git?
git filter-branch --index-filter "git rm -rf --cached --ignore-unmatch path_to_file" HEAD
Это необходимо, поскольку это не файл, содержащий какую-либо конфиденциальную информацию (пароли, учетные данные для входа и т. Д. c)? Должен ли я просто оставить остаток этого файла в истории git?