GitHub CEO Thomas Dohmke says that while AI and software development are inextricably linked, this won’t be the death knell for human coders.