Я зарегистрировал (в github) некоторые конфиденциальные файлы по ошибке. Чтобы исправить это, я следовал инструкциям здесь и выполнил команды:
git filter-branch --force --index-filter "git rm --cached --ignore-unmatch settings.json" --prune-empty --tag-name-filter cat -- --all
echo "settings.json" >> .gitignore
git add .gitignore
git commit -m "Add settings.json to .gitignore"
git push origin --force --all
git push origin --force --tags
git for-each-ref --format="delete %(refname)" refs/original | git update-ref --stdin
git reflog expire --expire=now --all
git gc --prune=now
Однако я могу go в своей истории коммитов увидеть удаленный файл.
Чтобы исправить эту проблему, как я могу удалить файл из истории коммитов github?

