Levando em consideração que existem vários comandos git que não fazem sentido em um repositório vazio (porque repositórios simples não usam índices e não têm um diretório de trabalho),
git reset --hard HEAD^
não é uma solução para descomprimir a última alteração em tal repositório.
Pesquisando na Internet, tudo que pude encontrar relacionado ao tema é o seguinte , no qual me são apresentadas três maneiras de fazer isso:
1. "atualizar o ref manualmente (que envolve encanamento)";
2. " git push -f
de um repositório não vazio";
3. " git branch -f this $that
".
Qual solução você acha mais apropriada ou de que outras maneiras existem para fazer isso? Infelizmente, a documentação que encontrei sobre repositórios básicos do git é bastante pobre.