> The GitHub.com repository is almost 13 GB on disk; simply cloning the repository takes 20 minutes.
Their problem seems to be mainly this. Which I'm surprised that they don't fix, but invent a workaround for. Deleting/rewriting a git repo's history is not impossible and often necessary for these kinds of cases.
> The GitHub.com repository is almost 13 GB on disk; simply cloning the repository takes 20 minutes.
Their problem seems to be mainly this. Which I'm surprised that they don't fix, but invent a workaround for. Deleting/rewriting a git repo's history is not impossible and often necessary for these kinds of cases.