Technology ❯ Software ❯ Development ❯ AI
He will stay through the end of 2025 to guide the transition under a structure that removes a standalone GitHub CEO role.