У них будет удаленная ветка отслеживания (источник / мастер), указывающая на новое место, если они сделают git fetch
. Если они сделают git pull
, им придется иметь дело с конфликтами, если их работу они еще не продвинули (если они тоже отрабатывали мастера). В зависимости от того, сколько других работало с вами над этим, это может иметь или не иметь большого значения.
Что они должны делать, если у них есть проверенный мастер, так это 'git reset --hard origin / master`. Это потеряло бы любые их коммиты, которые они не давили. Они могут хотеть разветвляться, чтобы захватить это первым. Затем они могут перебазировать или объединить эти изменения, когда будут готовы.
Если они не работают с мастером и хотят просто обновить свою локальную ветку, они могут просто
git push . +origin/master:master
Это избавляет вас от необходимости извлекать ветку, чтобы просто синхронизировать ее с пультом.