Home • Explore • Blog • CI
☰



rustc
9th chunk of `src/git.md`
cb64e9ec4a736bbf410d3b8a028228fe8684b98048c010ce00000001000001b0


### Fetching PRs

To checkout PRs locally, you can use `git fetch upstream pull/NNNNN/head && git checkout
FETCH_HEAD`.

You can also use github's cli tool. Github shows a button on PRs where you can copy-paste the
command to check it out locally. See <https://cli.github.com/> for more info.
Title: Fetching Pull Requests
Summary
This section describes how to fetch and checkout pull requests locally. It provides two methods: using the standard `git fetch` command with the appropriate PR reference, and using the GitHub CLI tool, which offers a convenient button to copy the checkout command directly from the PR page.