Fix docs about generated `checkout` command for pull request

Closes #517 [ci skip]