A top GSA official tied to the controversial DOGE efficiency effort is leaving one month after being ousted as the agency’s acting head.