Teniendo en cuenta que hay varios comandos de 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 eliminar el último cambio en dicho repositorio.
Buscando a través de Internet, todo lo que pude encontrar relacionado con el tema es esto , en el que se me presentan tres formas de hacerlo:
1. "actualizar la referencia manualmente (lo que implica plomería)";
2. " git push -f
desde un repositorio no simple";
3. " git branch -f this $that
".
¿Qué solución crees que es más apropiada o qué otras formas existen para hacerlo? Desafortunadamente, la documentación que encontré sobre los repositorios desnudos de git es bastante pobre.