ai-powered coding tools

GitHub CEO Thomas Dohmke will step down by year-end, planning to return to entrepreneurship, with no direct replacement; leadership will…