Script deleted LFS files using git filter-repo but space is still used

[m-elagdar]

Is your feature request related to a problem? Please describe.
I'm trying to save space by deleting lots of intermediate checkpoints using a script. But it seems like the files are deleted from git history but the CDN still has them and the repo still has the same size.

Describe the solution you'd like
There's an extra step I should add to the script but I'm not sure what is it.

Describe alternatives you've considered
The way that actually reduces the repo size is the menu in settings but it would take lots of effort to repeat the steps for each file.

Additional context
Here's the script

#!/usr/bin/env bash
# -*- coding: utf-8 -*-
set -eu -o pipefail
log() { echo "${@}" 1>&2; }; stt=$SECONDS; trap 'log $(basename $0): total duration: $(($SECONDS-$stt)) seconds' EXIT

# pip install git-filter-repo

repo_id=$1
pattern=$2
echo "Will clean '$pattern' from Repo ID: $repo_id"
read -p "Enter token: " -s hub_token
(! [ -z "$hub_token" ] || read -p "Enter token: " -s hub_token; GIT_LFS_SKIP_SMUDGE=1 git clone https://-:$hub_token@huggingface.co/$repo_id)
owd="$PWD"
repo_dir=$(basename $repo_id)
cd $repo_dir
git filter-repo --path-glob "$pattern" --invert-paths
(! [ -z "$hub_token" ] || read -p "Enter token: " -s hub_token; git remote add origin https://-:$hub_token@huggingface.co/$repo_id)
git push --set-upstream origin main -f
cd "$owd"
rm -rf "$repo_dir"