Come estraggo dal mio server git "pubblico" per aggiornare il mio "master" locale non aggiornato?

Question

Ho un po 'di difficoltà. Fondamentalmente ho un "master" locale repository git. Ogni poche ore, "invio" le mie modifiche a un server da cui estraggo le macchine client. Bene, essendo il genio che sono, ho accidentalmente usato GITK per ripristinare il mio "master" locale repository una versione troppo lontana.

Quali sono i passaggi per ritirare l'ultima versione impegnata dal server e far sì che la mia versione locale si comporti " magistralmente " ;?

Best.

EDIT: risposte eccellenti a tutti. Molto apprezzato!

Answer 1

Supponendo che il tuo master locale sia ancora pulito, cioè , nessuna modifica locale, ma un certo numero di commit dietro master sul repository del server, devi solo estrarlo da:

git pull server master

Nel comando sopra, server è il nome del telecomando dal quale gli altri client estraggono (o invece potresti usare il suo URL).

Answer 2

Innanzitutto, riponi le modifiche esistenti:

git stash

Quindi, esegui (considerando che il telecomando da cui vuoi aggiornare il tuo repository locale sarà chiamato origin ):

git remote update origin
git reset --hard origin/master

Applica le modifiche nascoste:

git stash pop