Inviare e ricevere modifiche con Push e Pull

Tutti i commit che eseguite con git vengono eseguiti, per la natura stessa di git, localmente.
A differenza di altri sistemi simili di gestione dei sorgenti, possiamo dire che git lavora offline e le modifiche vengono inviate a un server.

Prima però di inviare le modifiche a un server git, dobbiamo creare un cosiddetto remote.
Un remote non è altro che un clone dei vostri commit locali, ma da un'altra parte.

Per farlo, è possibile eseguire il seguente comando:

git remote add origin https://www.github.com/kasuken/gitnotes.git

Push

A questo punto siete pronti per inviare i vostri commit al server, con il seguente comando:

git push origin master

I parametri di questo comando sono molto semplici:

  • origin: è l'endpoint del vostro repository remoto. Come per altre cose in git, potete aggiungere quanti remote volete. Origin viene usato come nome, per best practices.
  • master: è il branch che volete inviare al server. Non c'è bisogno che sia il branch attivo al momento.

Pull

Con la stesso approccio potete fare anche un'azione di Pull, cioè prendere da un origine remota i vostri files e posizionarli nel vostro repository locale.
La sintassi per eseguire questa operazione è la seguente:

git pull origin master

In questo caso, vengono scaricati i commit dal vostro endpoint definito all'interno del remote chiamato origin e fatto il merge con il branch denominato master.

results matching ""

    No results matching ""