Pull requests Manager

Pull requests Manager
Developer: Antoine Barrault
Category: Developer Tools

Pull requests Manager Summary

Pull requests Manager is a mobile iOS app in Developer Tools by Antoine Barrault. Released in May 2026 (recently released ago). Store metadata: updated May 4, 2026.

Store info: Last updated on App Store on May 4, 2026 .


0★

Ratings:

5★
4★
3★
2★
1★

Screenshots

App Description

PR Manager brings all your GitHub pull requests into one clean, unified dashboard. Stop switching between repositories and browser tabs. Track, review, and merge PRs across all your projects from a single app.

Designed for any GitHub user, PR Manager is a public developer productivity tool for individuals, open-source maintainers, freelancers, startups, agencies, and teams. It works with the repositories you already have access to on GitHub.

KEY FEATURES

Multi-Repository Tracking
Select the repositories you care about and see every open pull request in one place, grouped by repository with real-time status updates.

Merge With Confidence
Merge, squash, or rebase pull requests directly from the app. Customize commit messages, skip CI when needed, and the app remembers your preferred merge method.

GitHub Actions Monitoring
Keep an eye on your CI/CD pipelines with a chronological feed of workflow runs across all your watched repositories.

Menu Bar Access (macOS)
Check your pull requests without leaving what you're doing. The menu bar extra gives you a quick glance at open PRs and workflow statuses.

Built for Apple Platforms
Native SwiftUI app designed for both iOS and macOS. Supports Dark Mode with four customizable color themes: Ocean, Midnight, Sunset, and Neon.

Secure Authentication
Sign in with GitHub's secure Device Flow or use a Personal Access Token. Your credentials are stored locally and never shared with third parties.

Auto-Refresh
Stay up to date with automatic background refresh every 15 minutes, plus manual refresh whenever you need it.

PR Manager is built for developers who work across multiple GitHub repositories and want a faster, native way to stay on top of pull requests.