Former Microsoftie here.
I imagine there will be a lot of unrest inside the company about this, and I think things are about to get tricky for Nadella. Up until now he's been largely able to be above a lot of the labor disputes that have been roiling the other FAANGs recently, but that's mostly out of luck: Microsoft's business doesn't involve arbitrating culture war disputes on social media or search reuslts, nor employing underpaid warehouse workers. But now there's going to be no way to wiggle out of the fact that this money is coming from Trump's DoD, and $10 billion isn't a paltry sum that they can just wave off to claim the moral high ground.
Satya's next "fireside chat" is going to be tremendously awkward, I think.