git reset hard