> that strikes me as a waste of Github's disk space...

Oh, and forks don't take up much disk space since they share structure with the original repository. If the changes have been merged to the mainline, then the marginal cost of your fork is close to nil; probably just a few rows in the database.