simplified discussion of git reset