Should DOGE’s “employees” be public knowledge?

If you haven’t seen. The DOJ has threatened to prosecute anyone who impedes DOGE’s actions and Elon himself has claimed that leaking the names of employees is illegal. My thing is if they work in the federal government then they deserve to have their names known like all employees in the government. If they don’t work for the federal government then they should not be granted access to the servers of a bunch of departments.