GitHub Chief Executive Thomas Dohmke said on Monday he will leave the Microsoft-owned code-hosting platform to launch a new startup, capping a tenure that included a major push into artificial ...