We could, but it wouldn't be as safe because some of the files could be dirty even if the HEAD is where it should be. WHen we do a `checkout --force`, it makes sure all files are reset.

That being said, it's possible that we can find further cases that can be optimized later. But my current optimization should be quite safe, as it simply removes an checkout when we know we've already done exactly the same one right before.