Suppose git pull commands advance the local repo by several commits to match the remote repo and I want the local repo goes back to the commit id before git pull. In other w