Business ❯Mergers and Acquisitions ❯Corporate Acquisitions ❯Microsoft
He will stay through the end of 2025 to guide the transition under a structure that removes a standalone GitHub CEO role.