En tenant compte du fait qu'il existe plusieurs commandes git qui n'ont aucun sens dans un référentiel nu (car les référentiels nus n'utilisent pas d'index et n'ont pas de répertoire de travail),
git reset --hard HEAD^
n'est pas une solution pour annuler la dernière modification d'un tel référentiel.
En cherchant sur Internet, tout ce que j'ai pu trouver en rapport avec le sujet est celui-ci , dans lequel on me présente trois façons de le faire:
1. "mettre à jour la référence manuellement (ce qui implique la plomberie)";
2. "à git push -f
partir d'un référentiel non nu";
3. " git branch -f this $that
".
Quelle solution pensez-vous être la plus appropriée ou quels autres moyens existe-t-il pour y parvenir? Malheureusement, la documentation que j'ai trouvée sur les référentiels git bare est assez pauvre.