Obwohl das Migrationsprojekt von Github mithilfe von KI ökonomisch machbar war, blieb die menschliche Kontrolle unerlässlich.