Delete deleted files from repo

Install/Maintain/Configure
1

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

2

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

3

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