Tenendo in considerazione che ci sono diversi comandi git che non hanno senso in un repository nudo (perché i repository spogli non usano indici e non hanno una directory di lavoro),
git reset --hard HEAD^
non è una soluzione per annullare l'ultima modifica in un tale repository.
Cercando su Internet, tutto quello che ho trovato relativo all'argomento è questo , in cui mi vengono presentati tre modi per farlo:
1. "aggiornare manualmente il ref (che coinvolge l'impianto idraulico)";
2. " git push -f
da un repository non nudo";
3. " git branch -f this $that
".
Quale soluzione ritieni sia più appropriata o quali altri modi ci sono per farlo? Sfortunatamente, la documentazione che ho trovato sui repository git bare è piuttosto scarsa.