Der wichtigste #git​-Befehl, man muß ihn kennen:
git reset --hard