GitHub CEO: manual coding remains key despite AI boom