What is the correct way to remove a file from git?

Question

git

I accidentally forgot to put the video folder in .gitignore and the 250-meter video flew straight to the repository, making it ten times heavier.
How can I delete this file so that it leaves the repository completely?

Answer 1

git log -> git reset "commit hash prior to that commit with vidos" -> git add "All files except vidos" -> git commit -m "message" -> git push --force origin "branch"