Wird es wegen KI mehr oder weniger Programmierer geben? Das erklärt Github-CEO Thomas Dohmke im Interview.