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