You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Additionally, I've just user git-filter-repo to delete old files from the git tree.
Now the repo is sizing less than 500Mb, so I see at least 1Gb of reduction
A good start would be adopting the git large system program.
Avoid .pdf files in here, since I could easily save them into google drive of similar.
Cleaning the git history may also help me a bit.
The text was updated successfully, but these errors were encountered: