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