Fix the previous fix: use git checkout instead of git switch
This MR fixes the previous commit, which failed because 'git switch' can only switch a branch, it cannot have a commit SHA as an argument. Luckily, 'git checkout' can have either as an argument.