Delete deleted files from repo

Hello, i am currently testing Gitea and the whole git thing in general but i have a problem. This is the scenario:

I uploaded a 200mb video in my test repo but then I deleted the video completely but there is still a 200mb in repo size. How to completely delete that file?

Thank you

The old commit will still hold it. You need to delete that commit by some git tricks. and run git gc in Gitea server.

git rebase -i
git rebase --continue
git push origin HEAD --force