I think this is just a dump to GitHub and not connected to their internal stuff in any way. Same with the Half-Life repo - when the 25th anniversary stuff was

I think this is just a dump to GitHub and not connected to their internal stuff in any way. Same with the Half-Life repo - when the 25th anniversary stuff was released it was just pushed as one mega-patch.