Принимая во внимание, что есть несколько команд git, которые не имеют смысла в чистом репозитории (потому что голые репозитории не используют индексы и не имеют рабочего каталога),
1. "обновить реф вручную (что касается сантехники)";
2. « git push -f
из репозитория без исходного кода»;
3. « git branch -f this $ that
».
Какое решение, по вашему мнению, является более подходящим, или какие еще есть способы сделать это? К сожалению, документация, которую я нашел о репозиториях git bare, довольно скудна.