The news came by Slack message. Cruise CEO Marc Whitten, who took the top post in June, posted a message Tuesday afternoon in the company’s announcements channel along with a link to a press release ...