Repository size is wrong after erasing historical files

I had a repository that was 6.3MB and I wanted to free up space, so I ran git filter-branch --prune-empty --index-filter 'git rm -rf --cached --ignore-unmatch GIANT-FILE' --tag-name-filter cat – --all and then git push origin -f *. After cloning, the repository size is correct (248K), but the project's settings page still shows that the repository is 6.3MB.