How to list pull requests in GitHub

Efficient pull request (PR) management is important for maintaining an organized workflow in software development projects. This guide explores how to list and manage pull requests in GitHub, focusing on both GitHub's native functionalities and enhancements offered by Graphite's PR inbox.

Listing pull requests in GitHub

Using the GitHub interface

To view pull requests in a GitHub repository:

1. Navigate to the repository.
2. Click on the "Pull requests" tab. This displays a list showing the title, author, status of checks, and more.
3. Filter pull requests by state (open, closed, merged), labels, projects, or milestones to tailor the list to your needs.

Advanced search and filters

For more refined control:

• Use GitHub's search bar at the top of the "Pull requests" tab with qualifiers like is:pr is:open to filter open PRs or is:pr label:bug to find bug-related PRs.
• GitHub's REST API offers programmatic access to PR listings with customizable query parameters.
• GitHub CLI (Command Line Interface): Use gh pr list with options like --label "enhancement" to filter PRs directly from the terminal.

Leveraging Graphite's PR inbox for enhanced management

Graphite's PR inbox functions like an email client for your pull requests to assist with organization and prioritization of you PRs. Here's how you can utilize it for an improved PR management experience:

Key features of Graphite's PR inbox:

• Default repositories: Set up to three repositories for free, or up to 30 for Team and Enterprise tiers.
• Customizable sections: Graphite auto-creates sections like 'Needs your review' or 'Merging and recently merged'. You can also create or customize sections to suit your workflow needs.
• Search functionality: A powerful search bar within the PR inbox allows fuzzy searching across PR titles, descriptions, and more using the cmd + k shortcut.
• Sharing configurations: Share your customized inbox setup with teammates via a shareable link to gain a unified view of PRs among collaborators.

Summary

Properly listing and managing pull requests can boost a development team's efficiency and tracking, and combining GitHub with Graphite's PR inbox improves how teams handle these requests for quicker, more thorough reviews. These tools together help accelerate reviews and improve teamwork on all project sizes.