Revert "git reset is not necessary here since we used forced git checkout"

This reverts commit 8a95b05968301f1416b7c848f9877d7b5e0083b8.