Abbiamo un repository git remoto che normalmente distribuiamo utilizzando git push
sul nostro server di sviluppo e poi git pull
sui nostri server live per ottenere l'ultima versione push del repository.
Ma se abbiamo eseguito il commit e il push di alcune revisioni (senza un git pull
server live) come possiamo fare un git pull
riferimento al vecchio commit che vogliamo?
cioè qualcosa di simile git pull -r 3ef0dedda699f56dc1062b5dcc2c59f7ad93ede4
git pull server:repo
git pull