Eigentlich muß man nur ein #git​-Kommando kennen:

git reset --hard