It is probably about 10 gigabytes with historical `.git` data, but people should know. Perhaps it could be sharded for joint maintenance.