GitHub CEO Thomas Dohmke announced Monday that he plans to step down, with Microsoft opting not to directly replace the position, according to memos shared first with Axios.Why it matters: GitHub, which has operated largely independently since Microsoft acquired it in 2018, has become increasingly important to Microsoft's overall strategy to woo developers to Windows and Azure, as well as to its suite of AI tools.Driving the news: Dohmke told staff in an email, seen by Axios, that he is leaving ...