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