I accidentally started to commit some large files before updating the gitignore. After cancelling this commit, sorting out the files, updating the git ignore, and pushing a commit that should not have meaningfully changed the repo size, my repository still ballooned up beyond the size limit.
I would like to request garbage collection for this repository so that the total size returns to the actual amount. Currently pushing is disabled because of the incorrect size.
