Yep, good call - it looks like the two would have the same effect since I'm just using `git reset --hard` to throw away any local changes and not doing any merges or making any commits.