Given that it is open source, it seems odd that they wouldn't run it on their own servers.
Lots of things are contracted out but still run in DoD data centers with government oversight.
Me = Former DoD software engineer of 12 years.
But even so, there are a shit ton of DoD software people.
It’s called the Defense Information Systems Agency. And they’re not even the biggest in that space.
I worked there for about five years.