GitHub CEO Thomas Dohmke departs amid rising AI coding competition