Я выполнил инструкции в документации Gitlab о «Уменьшении размера репозитория с помощью Git» путем удаления больших файлов из истории: https://docs.gitlab.com/ee/user/project/repository/reeding_the_repo_size_using_git.html
Инструкции, которые я цитирую, следующие:
git checkout master
git filter-branch --force --tree-filter 'rm -f path/to/big_file.mpg' HEAD
git reflog expire --expire=now --all && git gc --prune=now --aggressive
git push --force origin master
Затем я удалил свой локальный репозиторий и снова клонировал его с удаленного, размер был уменьшен с 600 МБ до 90 МБ после клонирования, но все еще на странице репозитория Gitlab указано, что размер составляет 600 МБ.
Кто-нибудь знает, почему я наблюдаю такое поведение и как это исправить?