GitHub CEO: Future devs will not code, they will manage AI