Hello,
My other repository, which is not this one, has recently grown to its maximum size of 4.00 GB. I choose to remove a few huge files from that repository, however it appears that the size has not decreased. But since it's my workplace repository, I can't take any more risk.
I therefore choose to test this repository to see if it works, but it doesn't appear to. I deleted a few files from this repository, however the size increased instead of decreased after pushing. Could you look into this for me? I also use git filter-repo to delete my file.
Thanks!
