I have used git-filter-repo to remove 2 large files, and can confirm that locally the .git is reduced.
then I force push and it all works fine.
However the size doesn’t reduce, it’s still more or less the same.
I saw a previous topic: Reducing repository sizes with filter-repo
And I tried to run “sudo -u git git gc --aggressive --prune=now” within the repos on the gitea server to no avail, it runs fine but the size doesn’t change.
Locally the .git is 2.56 MB, and in gitea it’s 11MB (like it was originally).