If I were to pick a distro for government services, I would go with something boring and reliable like Debian or openSUSE. NixOS is fun and nerdy and has its fan base, just not an obvious first choice for the task