Really the ideal way to do this is to not use
pull at all, but instead
git fetch origin master git reset --hard FETCH_HEAD git clean -df
master to whatever branch you want to be following.)
pull is designed around merging changes together in some way, whereas
reset is designed around simply making your local copy match a specific commit.
You may want to consider slightly different options to
clean depending on your system’s needs.