Size limit for github repo - is being fixed

[sondreus]

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]

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)