Recently, I needed to delete some large LFS files from a repo. A really knowledgeable expert told me that I could proceed by just using
git rm <files>, then committing and pushing, and finally running
git lfs prune. It worked, as the files are not there anymore. But, if I go to the repo in GitLab, still it has the same size. Therefore, I don’t know how recommended is proceeding like this, and how could I check for the real size of my repo.
Thank you so much in advance!