DEI programs at the federal government are ended.