Comment puis-je retirer de mon serveur git «public» pour mettre à jour mon «maître» local brisé?

Question

J'ai un peu d'une situation difficile. En gros, j’ai un "maître" local. référentiel git. Toutes les quelques heures, je «pousse» mes modifications sur un serveur à partir duquel je tire ensuite vers mes ordinateurs clients. Eh bien, étant le génie que je suis, j’ai utilisé accidentellement GITK pour restaurer mon "maître" local. référentiel une version trop loin.

Quelles sont les étapes à suivre pour extraire la dernière version validée du serveur et que ma version locale se comporte toujours de manière "magistrale"?

Meilleur.

EDIT: Excellentes réponses à tous. Très apprécié!

Answer 1

En supposant que votre maître local soit toujours propre, c'est-à-dire , aucun changement local, mais un certain nombre de commits derrière le maître sur le référentiel de serveur, il vous suffit d'extraire celui-ci:

git pull server master

Dans la commande ci-dessus, serveur est le nom de la télécommande que d'autres clients extraient (ou vous pouvez utiliser son URL à la place).

Answer 2

Premièrement, cachez vos modifications existantes:

git stash

Ensuite, exécutez (en considérant que la télécommande à partir de laquelle vous souhaitez mettre à jour votre référentiel local doit être nommée origine ):

git remote update origin
git reset --hard origin/master

Appliquer les modifications stockées:

git stash pop