Note: *.gov domains can be found at another U.S. federal repo maintained by Cybersecurity and Infrastructure Security Agency (CISA):

https://github.com/cisagov/dotgov-data

There doesn't appear to be an official govt-maintained repo of .mil domains.