Teniendo en cuenta que hay varios comandos git que no tienen sentido en un repositorio simple (porque los repositorios simples no usan índices y no tienen un directorio de trabajo),

git reset --hard HEAD^ 

no es una solución para deshacer el último cambio en dicho repositorio.

Buscando a través de Internet, todo lo que pude encontrar relacionado con el tema esesta, en el que se me presentan tres formas de hacer esto:
1. "actualizar la referencia manualmente (lo que implica plomería)";
2. "git push -f de un repositorio no descubierto ";
3. "git branch -f this $that".

¿Qué solución crees que es más apropiada o qué otras formas hay para hacer esto? Desafortunadamente, la documentación que encontré sobre los repositorios de git bare es bastante pobre.