Mempertimbangkan bahwa ada beberapa perintah git yang tidak masuk akal dalam repositori telanjang (karena repositori telanjang tidak menggunakan indeks dan tidak memiliki direktori kerja),
git reset --hard HEAD^
bukanlah solusi untuk membatalkan perubahan terakhir dalam repositori semacam itu.
Mencari melalui Internet, yang dapat saya temukan terkait dengan topik ini adalah ini , di mana saya disajikan tiga cara untuk melakukan ini:
1. "perbarui referensi secara manual (yang melibatkan pipa ledeng)";
2. " git push -f
dari repositori non-telanjang";
3. " git branch -f this $that
".
Solusi mana yang menurut Anda lebih tepat atau cara lain apa yang dapat dilakukan untuk melakukannya? Sayangnya, dokumentasi yang saya temukan tentang repositori git bare cukup buruk.