Como posso descomprimir o último commit em um repositório git bare?
Levando em consideração que existem vários comandos git que não fazem sentido em um repositório vazio (porque os repositórios vazios não usam índices e não possuem um diretório ativo),
git reset --hard HEAD^
não é uma solução para descomprimir a última alteração nesse repositório.
Pesquisando pela Internet, tudo o que pude encontrar relacionado ao tópico éesta, em que me são apresentadas três maneiras de fazer isso:
1. "atualize a ref manualmente (que envolve encanamento)";
2. "git push -f
de um repositório não-nu ";
3. "git branch -f this $that
"
Qual solução você acha mais apropriada ou que outras maneiras existem para fazer isso? Infelizmente, a documentação que encontrei sobre os repositórios git bare é bastante pobre.