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