Se includo, diciamo, un repository GPLv3 nel mio repository usando git subtree, sarebbe considerato come distribuzione? Ora sono obbligato a concedere in licenza anche il mio repository come GPLv3?
Non intendo modificare o interagire con il codice GPL, ma mi piacerebbe averlo nel mio repository per comodità e come riferimento.
INAL, ma non credo che sia anche significativo parlare di licensing di un repository - almeno non nello stesso modo in cui parliamo del codice di licenza. Un repository è solo un contenitore per la gestione del codice. Proprio come se masterizzi un software GPL su un CD, non fa l'intero CD GPL, impedendoti di masterizzare software proprietario su di esso (anche se altre cose potrebbero proibirti di farlo). Allo stesso modo con i repository: anche se inserisci elementi GPL, non ti costringe a creare l'intero repository e tutto ciò che contiene in GPL.
L'unica cosa colpita dal copyleft è un altro codice - l'effettiva applicazione all'interno del tuo repository - e il modo in cui è influenzato è determinato dal modo in cui interagisce con il software GPL.
No, non è così. La distribuzione è quando fornisci il codice a qualcun altro. Il semplice spostamento del codice all'interno del tuo computer non costituisce una distribuzione.
Quando hai scaricato questo codice (o clonato il repository pubblico di git), non sei il distributore; chi ha messo il codice su dove è possibile scaricarlo è il distributore. Fintanto che ti limiti all'uso personale, non lo stai distribuendo e non si applica nessuna delle restrizioni GPL.
Se quel repository è pubblico, sì, lo hai ovviamente pubblicato.
Altrimenti ovviamente no.
E se pubblichi qualcosa, è meglio che tu abbia il diritto di farlo.
Mentre puoi avere il codice gpl e non gpl side-by-side nello stesso repository pubblico, se uno è il lavoro derivato dell'altro, ricorda che devi avere la licenza per pubblicare un lavoro derivato.
Leggi altre domande sui tag git licensing gpl distribution