Come rimuovere il repository remoto Git

In questo articolo, continueremo la serie di istruzioni su Linux e ti guideremo su come rimuovere un repository remoto Git. Tratteremo la differenza tra repository locali e remoti e due possibili flussi di lavoro per il repository remoto Git. Dai un'occhiata alla nostra infografica per imparare tutto in meno di un minuto!

Cos'è Git

Git è un sistema di controllo della versione distribuito gratuito e open source. Linus Torvalds lo ha progettato nel 2005 e ora Git è uno dei sistemi di controllo della versione del codice più popolari al mondo. Git ti aiuta a mantenere la cronologia delle modifiche apportate durante il processo di sviluppo del software.

Locale Archivio Git

Git è un sistema di controllo della versione distribuito decentralizzato. Ciò significa che è possibile memorizzare le modifiche al codice software sul PC locale o sul server remoto. Modifiche al software che mantieni localmente a formare il repository locale.

Per creare (o avviare) un repository locale, stai utilizzando il seguente comando:

$ git init

Per aggiungere e confermare le modifiche al tuo repository Git locale, usa:

$ git add

$ git commit

Repository Git remoto

Per semplificare un processo di sviluppo software per i team distribuiti, le persone hanno iniziato a utilizzare un server dedicato come luogo centrale per lo scambio di codice. Il repository Git su tale server è chiamato repository remoto. Al giorno d'oggi, abbiamo diversi servizi di hosting Git, come Bitbucket, Github o GitLab.

Ecco il flusso di lavoro più semplice con un repository remoto:

Possiamo aggiungere informazioni sul repository Git remoto al nostro repository locale usando il seguente comando:

$ git remote add origin git-remote-url

Dove:

• origine – è il nome logico o il repository remoto; l'origine è il nome predefinito per il repository remoto.
• git-remote-url – è l'URL del repository remoto; di solito lo ricevi nella pagina del tuo repository su GitHub.

La clonazione di un repository Git da un server remoto crea l'origine automaticamente nel tuo repository locale.

Per il caso di un team distribuito che utilizza lo stesso repository remoto, ecco un altro diagramma:

Nel mondo open source, il flusso di lavoro del team è leggermente diverso. Un team distribuito non invia le modifiche al codice direttamente a un singolo repository, ma invia richieste pull. L'utilizzo di pull-request invece di impegnarsi direttamente in un singolo repository è un modo più efficiente per controllare le modifiche in arrivo.

Per non complicare eccessivamente il diagramma, mostreremo un solo flusso di lavoro dello sviluppatore, che lavora con la sua origine remota e inviando richieste pull all' upstream deposito.

Rimozione di un URL remoto Git

Prima di eliminare qualsiasi record di repository Git remoti, ha senso elencarli prima:

$ git remote -v

Per rimuovere uno dei repository remoti elencati, utilizzare il comando seguente:

$ git remote rm origin

Questo comando rimuoverà un'origine dall'elenco remoto:

Il git remote rm il comando rimuove il telecomando specifico da .git/config file che si trova nella cartella del progetto.

Un altro modo per rimuovere il repository remoto è modificare il .git/config file, ma questo metodo non è il più utilizzato.

Se stai cercando di rimuovere un repository remoto che non esiste, Git genera un errore.

$ git remote rm origin

L'output è fatal: No such remote: 'origin' :

Di solito, l'errore sopra riportato può anche essere causato dall'errata digitazione del nome del repository remoto.

Il git remote rm il comando ha un alias git remote remove , che funziona allo stesso modo:

$ git remote remove git-repository-logical-name

Riepilogo

In questo articolo, hai imparato come rimuovere le informazioni sul repository Git remoto dal nostro repository locale.

In caso di domande, non esitare a contattarci nella sezione commenti qui sotto.