this is how git reset HeAD works