Topic: Is there a way to run "git gc" on the server?
Hi! When initializing the git repository for our project "hatari", I apparently pushed accidentally a local copy that contained a lot of unnecessary objects, so the current repository is quite big (> 100 MiB). After checking it out, it is possible to get rid of the unnecessary objects by running the git garbage collection in the local checkout:
git -c gc.reflogExpire=0 -c gc.reflogExpireUnreachable=0 -c gc.rerereresolved=0 \
-c gc.rerereunresolved=0 -c gc.pruneExpire=now gc --aggressive
After that, the size goes down to less than 30 MiB, which sounds much saner.
Since there is a quota for the server repository on tuxfamily, and since we'd like to avoid that everybody has to download all the unnecessary objects from the server first, I'd like to ask whether you could run this garbage collection also in the server repository for us? (so far, I did not spot a possibility to trigger it from my side on the server)