Abbiamo un repository git remoto che normalmente distribuiamo utilizzando git pushsul nostro server di sviluppo e poi git pullsui 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 pullserver live) come possiamo fare un git pullriferimento al vecchio commit che vogliamo?
cioè qualcosa di simile git pull -r 3ef0dedda699f56dc1062b5dcc2c59f7ad93ede4
git pull server:repogit pull