Too bad they don’t allow federal employee unions. No difference.
But the federal government DOES allow federal employee unions - thanks to an executive order by JFK.