Git: how to completely remove a file from a repository if none of the articles helped?

Question

git

Hello :)
I ask for help from experienced guides, because I myself have reached a dead end.

git gc with different keys didn't help. Like that:

rm -Rf .git/refs/original
rm -Rf .git/logs/
git gc
git gc --auto
git gc --aggressive
git gc --aggressive --prune

rm -rf .git/refs/original
rm -rf .git/logs/
git reflog expire --all --expire='0 days'
git repack -A -d
git prune

doesn't help either.
git clone to another folder copies all 722mb.
As a result, I still get the same 722 MB:

> git count-objects -v
count: 0
size: 0
in-pack: 4847
packs: 6
size-pack: 722796
prune-packable: 0
garbage: 0

How to be? What to try?

Answer 1

I look in which commits this file is mentioned: none.

I would add --tags to --branches. You could remove a file from branches, but not from under tags (and in this case, after filter-branch, the history of the tags will be different from the history of the branches they tag).