Course navigation

GitHub pull requests

CodeCrab Docs · GitHub pull requests

CodeCrab uses GitHub CLI (gh) to list pull requests, read diffs and read review comments. It only reads from GitHub: it never posts, approves or merges for you.

When you need it

  • Your repositories are hosted on github.com.
  • You want to review teammate PRs from Assigned to Me.
  • You want to investigate feedback on your own PRs in My PRs.

GitLab setup guide →

Install GitHub CLI

On Windows, install GitHub CLI with winget.

Windows · PowerShell
winget install --id GitHub.cli --source winget

On macOS and Linux, download the official installer or package for your system from cli.github.com, then open a new terminal.

GitHub CLI downloads ↗

Confirm the CLI is on your PATH.

Terminal
gh --version

Sign in

Sign in with your GitHub account, then verify the session. Choose GitHub.com and complete the browser login.

Terminal
gh auth login
gh auth status

Check it in CodeCrab

  1. Quit and reopen CodeCrab so it picks up the new tool.
  2. Open the Ready to run badge and look at the Repository row.
  3. Click Re-check if it still shows Setup needed.
  4. Add your repositories under Settings → Repositories; GitHub URLs show On GitHub when verified.

Add your repositories →