The linked repo isn't the official public resource. Valve provides the source packages for what they distribute (aka GPL compliance) but this person wanted them to open up their private GitLab instance to the world.

As far as I can tell, they wrote a script to download the source packages they provide and then try to reconstruct them into a GitLab repo.