I know of at least one subset of a top-tier federal agency that uses Google's .gov services, this[0] I would assume. I wonder what the size of .gov business is for Google and to what extent (vs anti-trust concerns) it factors-in to making nice with the new regime?
[0] https://gsuite.google.com/industries/government/