Wir haben ein Remote-Git-Repo, das wir normalerweise git pushauf unserem Dev-Server und dann git pullauf unseren Live-Servern bereitstellen, um die neueste Push-Version des Repos zu erhalten.
Aber wenn wir ein paar Revisionen (ohne eine git pullauf den Live-Servern) festgeschrieben und gepusht haben, wie können wir dann eine machen git pull, die sich auf die ältere Festschreibung bezieht, die wir wollen?
also sowas wie git pull -r 3ef0dedda699f56dc1062b5dcc2c59f7ad93ede4
git pull server:repogegen den regulärengit pull) durchführe