Prenant en considération qu'il y a plusieurs commandes git qui n'ont pas de sens dans un dépôt nu (nu parce que les référentiels ne pas utiliser d'index et de ne pas avoir un répertoire de travail),
git reset --hard HEAD^
n'est pas une solution à uncommit le dernier changement d'un tel référentiel.
La recherche par le biais de l'Internet, tout ce que je pouvais trouver le sujet est présent, dans lequel je me suis présenté trois façons de le faire:
1. "mise à jour de la ref manuellement (ce qui implique de plomberie)";
2. "git push -f
de non-dépôt nu";
3. "git branch -f this $that
".
La solution faire yo pense que c'est plus approprié ou que d'autres moyens sont là pour ce faire? Malheureusement, la documentation que j'ai trouvé sur git nu dépôts est assez pauvre.
Merci beaucoup,
Lavinia