Ответ 1
Да, их копии будут автоматически удалены. Представьте себе, если это удаление не произойдет, тогда рабочие копии всех пользователей будут загрязнены кучами удаленных файлов, которые больше не нужны.
Однако если удаленные пользователи внесли локальные изменения в эти файлы, они не будут удалены, так как pull
приведет к конфликту слиянием.
Как Jefromi предлагает в своем комментарии, в то время как файлы удаляются на сторонах других пользователей, их можно легко восстановить - они находятся под версия-контроль, не так ли?;-) Файлы можно получить с помощью git checkout <revision> -- <files...>
. В качестве ревизии вы можете указать идентификатор предыдущей фиксации, для ее сохранения в ORIG_HEAD
(см. этот вопрос):
git checkout ORIG_HEAD -- removed_file