"Either you have to embrace the AI, or you get out of your career," Dohmke. Dohmke left CEO position of GitHub in November.