Как мне вытащить из моего «публичного» git-сервера, чтобы обновить мой сломанный локальный «мастер»?

Question

У меня немного затруднительное положение. В основном у меня есть локальный «мастер» Git-репозиторий. Каждые несколько часов я делаю «git push» свои изменения на сервере, с которого затем перетаскиваю свои клиентские машины. Что ж, будучи гением, я случайно использовал GITK для отката моего локального «главного» хранилища на одну версию слишком далеко.

Каковы действия для извлечения последней подтвержденной версии с сервера и при этом моя локальная версия ведет себя "виртуозно"?

Best.

РЕДАКТИРОВАТЬ: Отличные ответы на все. Очень ценится!

Answer 1

Предполагая, что ваш локальный мастер все еще чист, т.е. , никаких локальных изменений, но некоторое количество коммитов за мастером на репо сервера, вам нужно только извлечь из него:

git pull server master

В приведенной выше команде server - это имя удаленного устройства, с которого извлекаются другие клиенты (или вместо него можно использовать его URL).

Answer 2

Сначала спрячьте свои существующие изменения:

git stash

Затем запустите (учитывая, что пульт, с которого вы хотите обновить локальный репозиторий, получит имя origin):

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

Применить сохраненные изменения:

git stash pop