There aren't that many Microsoft employees, it took me a couple minutes to memorize the team.

Of course the majority are from Microsoft, they do seem to merge in a fair amount of PRs from the community though.