github CEO has somewhat measured take on AI for code?