doing pr checkout

Check out a pull request in git.

PR_ID is the ID number of a pull request. '!' prefix is allowed.

This command is a shorthand for az repos pr checkout --id

doing pr checkout [flags]

Example usage

doing pr checkout 12345

Options

Usage: doing pr close [OPTIONS] PR_ID...

  Close a specific PR_ID.

  PR_ID is the ID number of a pull request. '!' prefix is allowed. You can
  specify multiple IDs by separating with a space.

Options:
  --help  Show this message and exit.