Per the EO that established DOGE, each Agency head established a 4-member DOGE team consisting of a lead, an engineer, a HR specialist and an attorney. Those DOGE teams absolutely did fire thousands of employees after EO 14210 called for huge RIFs across the government.