`git_checkout_head` is sadly misunderstood as something that can switch branches. It cannot. Update the documentation to reflect this.