Barrapunto

Es cierto, y esto ya lo apunté yo en mi primer comentario, que la GPL no obliga a nadie a distribuir el código. Ahora bien, tampoco impide que se haga. Si yo trabajo para una empresa y modifico un programa GPL para uso interno, automáticamente ese programa es GPL, y aún siendo el código de la empresa, la licencia no tiene ninguna cláusula que impida que yo lo distribuya por mi cuenta.

En resumen, la GPL no obliga a la distribución del código pero permite la distribución del mismo por segundos o terceros, aunque sólo sea porque no prohibe esa distribución explícitamente.

En su caso habría que añadir una clausula a la GPL que dijera algo parecido a "el propietario del copyleft se reserva el derecho de distribuir o no distribuir el código, sin que segundas o terceras personas puedan comenzar a distribuirlo sin su consentimiento", cosa que no existe.

Otra cosa será que al distribuir el software se incurra en la revelación de un secreto de la compañía, en cuyo caso ya entran en juego otras leyes que nada tienen que ver con la GPL.