Pull requests without leaving the workspace

Pull requests

Open Pull requests beside the workspace selector to work with your repository’s GitHub or Azure DevOps pull requests without leaving the workspace. Review the changes, leave inline comments, check review and build status, create new pull requests, and merge.

Install and sign in to the GitHub or Azure CLI on the machine running the Prokop server. See Pull requests for setup.

Azure DevOps sign-in

You can connect to organizations in a different Microsoft tenant from your default Azure sign-in. When access is missing, Prokop shows the sign-in command you need. The Azure DevOps CLI extension is no longer required.

Cleaner settings

Settings use consistent controls and compact lists. Agent rows show their selected model, and settings that do not apply to Claude Code or Codex are clearly marked. Sounds and system notifications move into their own Notifications section.

Fixed

• Unsaved agent edits survive switching sections, selecting a new default agent works, and duplicating an agent keeps its memory and skills settings.
• Model selectors in session headers use the space available in each pane instead of collapsing when several sessions are open.
• Claude Code sessions wait up to 10 minutes for background commands so Claude can report their results.
• Running Git, Claude, or Codex on Windows no longer opens extra console windows.

Update

Run this on the machine hosting your Prokop server:

prokop update