The Office of Personnel Management’s top technology official, Greg Hogan, has left the job he’s held at the agency since day two of the Trump administration. His last day on the job was Tuesday, an ...