Only US citizens are permitted to deploy code to the US government production servers, or look at the telemetry from those servers.
(I'm a UK citizen, based in the UK, and I have local colleagues supporting products that are deployed to both commercial .com, and US .gov domains. They deploy to .com themselves, but another team based in the US deploy to .gov)
(I'm a UK citizen, based in the UK, and I have local colleagues supporting products that are deployed to both commercial .com, and US .gov domains. They deploy to .com themselves, but another team based in the US deploy to .gov)