All of the enterprise US Intelligence Community developer platforms I worked on used the Atlassian suite. And, so far, all of the DoD ones I've been working on have used Gitlab.

Selling to military, spy agencies, and law enforcement is not in any way unique to Microsoft and GitHub.