Open stack PRs from the TUI and match GitHub by branch name - #14
Open
logan-sevendwarves wants to merge 1 commit into
Open
Open stack PRs from the TUI and match GitHub by branch name#14logan-sevendwarves wants to merge 1 commit into
logan-sevendwarves wants to merge 1 commit into
Conversation
Restacked branches keep their GitHub PR link so o/O can open PRs even when local tip OID drifted from remote. O opens every PR in the selected stack. - gh fetch: 30s timeout, open PRs only, name-based attach with OID preference - PR column: approved green check, open yellow #N, short merged/closed labels - Help overlay and footer document o/O/y; r retries GitHub enrichment
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
TLDR
oopens the selected branch PR,Oopens every PR in the linear stack, and GitHub enrichment attaches PRs by branch name so restacked local commits still get a link. Add a green checkmark when the PR has been approved instead of text.Why make this change?
PR attach required branch name plus tip OID to match. After a local restack or amend, the link disappeared and
odid nothing even when an open PR still existed for that branch. The PR column also crowded remote gap and approval into one cell, andgh pr listused a 3s timeout that often timed out on larger repos.What changed?
GitHub fetch now lists open PRs with a 30s timeout and attaches by branch name, preferring OID match when several PRs share a name.
Oopens all stack PR URLs in topology order (deduped). Help overlay leads with GitHub status ando/O/y; footer showso/O/y PRwhen a PR is selected. PR column separates remote gap from PR status: open shows yellow#N, approved shows green✓with yellow#N, merged/closed use short gray labels.rretries GitHub enrichment.Verification
cargo testpassed (221 lib + 8 bin + 2 doc tests).