The biggest very active repo I know of is nixpkgs, and I heard it was a stress test for GitHub already.