Skip to content

Conversation

@pull
Copy link

@pull pull bot commented Jan 15, 2026

See Commits and Changes for more details.


Created by pull[bot] (v2.0.0-alpha.4)

Can you help keep this open source service alive? 💖 Please sponsor : )

JackDevAU and others added 2 commits January 15, 2026 08:43
… references (#6348)

Adds the ability to filter branches based on pull request (PR) numbers,
in addition to branch names. This makes it easier for users to find
branches associated with specific PRs.

Closes #6347

Branch filtering improvements:

* Updated `getFilteredBranchList` in `branch-switcher.tsx` to allow
filtering branches by PR number, by extracting and matching the PR ID
from the branch's `githubPullRequestUrl` in addition to the branch name.
* Changed the search field placeholder in the branch selector UI to
indicate that users can search by "Branch name or PR #".

---------

Co-authored-by: kulesy <[email protected]>
@pull pull bot locked and limited conversation to collaborators Jan 15, 2026
@pull pull bot added the ⤵️ pull label Jan 15, 2026
@pull pull bot merged commit 7352c96 into code:main Jan 15, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants