Size limit for github repo - is being fixed
Closed this issue · 1 comments
sondreus commented
We are aware that this is not currently updating. The reason is that we have hit the github size limit. We are awaiting assistance from them (possibly, a higher limit, or at a minimum, a temporary increase so we can trim the repo and push that change).
sondreus commented
This is now fixed. It was much more complicated than one would expect for reasons which are about as interesting (not very) as one would expect.
in brief:
java -jar /Users/sondresolstad/bfg.jar --delete-files gbt_model_B_1.agtb
git gc
git prune
Then:
git log --oneline --reverse refs/heads/main | awk 'NR % 100 == 0'
git push origin 15965b25b:refs/heads/main -f
...
The history of all agtb model objects were deleted, as well as the history of their individual predictions (which is saved elsewhere in combined form)