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