Talked about that earlier. No new hires. Retirees are not replaced. Transfers to other departments (can you imagine some having to get from behind a desk to actually working)
I have done a few trips to Washington DC while working for a research lab. When it is lunch time, there is a huge mob of people streams out of government buildings, and every restaurant is full, with gov’t workers enjoying a 2 hour lunch.