She helped create the U.S. Digital Service. Now it’s become the U.S. DOGE Service