One Billion Developers! Why Github’s Head of Product Says AI Changes Who, How, and What We’ll Build