Remove big file in GIT repo

script.sh

# List the biggest object
git rev-list --objects --all | grep "$(git verify-pack -v .git/objects/pack/*.idx | sort -k 3 -n | tail -10 | awk '{print$1}')"

# Remove file from git repo
# Replace "filepath" to the file's full path
git filter-branch --force --index-filter 'git rm -rf --cached --ignore-unmatch filepath' --prune-empty --tag-name-filter cat -- --all

# After doing so, remember to push it.