The title makes it sound like the number of employees at Github scaled to 25k. The actual meaning though is that the number of Github contributers / participants at Microsoft increased to 25k.
Quote:
"At Microsoft today we have almost 25,000 engineers participating in our official GitHub organizations for open source, a great number of them contributing to open source communities throughout GitHub."
Quote: "At Microsoft today we have almost 25,000 engineers participating in our official GitHub organizations for open source, a great number of them contributing to open source communities throughout GitHub."
Quite misleading IMO.