Принимая во внимание, что существует несколько команд git, которые не имеют смысла в открытом репозитории (поскольку в голых репозиториях не используются индексы и нет рабочего каталога),
git reset --hard HEAD^
не является решением для разблокирования последнего изменения в таком репозитории.
Поиск через Интернет, все, что я мог найти по теме, this, в котором мне представлены три способа сделать это:
1. "обновить ref вручную (что связано с сантехникой)";
2. "git push -f
из не-голого репозитория";
3. "git branch -f this $that
".
Какое решение вам кажется более подходящим или какие другие способы для этого? К сожалению, документация, которую я нашел о git голых репозиториях, довольно плохая.
Большое спасибо,
Лавиния