Nous avons un dépôt git distant à partir duquel nous effectuons normalement le déploiement en utilisant git push
sur notre serveur de développement, puis git pull
sur nos serveurs live pour obtenir la dernière version poussée du repo.
Mais si nous avons engagé et poussé quelques révisions (sans une git pull
sur les serveurs en direct) comment faire un git pull
qui fait référence à l'ancien commit que nous voulons ?
c'est-à-dire quelque chose comme git pull -r 3ef0dedda699f56dc1062b5dcc2c59f7ad93ede4