Скажем, у меня есть несколько (обычных) реплик git-app. Теперь, по какой-то причине, я хочу отдать одну из машин или жестких дисков, поэтому я хочу уменьшить количество реплик на один, т. Е. Удалить одну реплику.Как удалить одну из нескольких реплик git-app?
Первое, что я могу сделать, - это обеспечить git annex copy . -t other
, что все содержимое присутствует, по крайней мере, в одной другой реплике. Затем я могу сделать git annex drop .
, а затем git annex sync
, чтобы удалить все содержимое реплики, которую я хочу удалить.
Но, что мне нужно сделать, чтобы рассказать другим репликам, что этот ушел? Должен ли я просто удалить git remote? Или мне нужно вызвать специальную команду приложения git?