Hi Seb and welcome to the community!
I ran a git gc for your repo but its size remains unchanged at 1.4 GB.
How did you delete these old files? Did you rewrite history, or did you commit file deletions? Please keep in mind that committing file deletions is not going to remove the files from the repo's history.
You can check this answer of mine to a different question:
I posted steps on how to identify large files and remove them from history with BFG repo cleaner.
If you reduce the size of your repo locally, you can temporarily upgrade to a paid billing plan to push your changes. We provide a 30-day evaluation for the Standard and Premium plan and we only charge at the end of this period. If you downgrade to the Free plan before the 30-day evaluation period is over, we won't charge you.
Please feel free to let me know if you have any questions.
Just a heads up, I removed the repo and workspace details from your post to protect your privacy.
Kind regards,
Theodora
You must be a registered user to add a comment. If you've already registered, sign in. Otherwise, register and sign in.