GitHub CEO says the 'smartest' companies will hire more devs as AI develops