From my understanding, this isn't saying there are 25k employees working directly for/on github. This is saying they have a lot of distinctly separate open sour

From my understanding, this isn't saying there are 25k employees working directly for/on github. This is saying they have a lot of distinctly separate open source projects (e.g. VSCode) that teams work on that are hosted on Github. A quick google suggests there's some odd ~900 employees of Github, which is the same order of magnitude as Gitlab.