We have a remote git repo that we normally deploy from using
git push on our dev server then
git pull on on our live servers to get the latest pushed version of the repo.
But if we have committed and pushed a few revisions (without a
git pull on the live servers) how can we do a
git pull that is referring to the older commit that we want?
i.e. something like
git pull -r 3ef0dedda699f56dc1062b5dcc2c59f7ad93ede4