Skip to content

gh pr merge <pr id> should display the title of the PR #8371

@kjeldahl

Description

@kjeldahl

Describe the feature or problem you’d like to solve

When issuing gh pr merge <pr id> the title of the PR is not displayed until the merge is complete and if the id was wrong it is too late to cancel.

Proposed solution

Display the title of the PR above the menu for selecting the type of merge:

> gh pr merge 749
  Merging pull request #749  (Add ordering selector to tables)
? What merge method would you like to use? Squash and merge
? Delete the branch locally and on GitHub? Yes
? What's next? Submit
✓ Squashed and merged pull request #749 (Add ordering selector to tables)
✓ Deleted local branch add_ordering_to_tables
✓ Deleted remote branch add_ordering_to_tables

Additional context

> gh pr merge 749
  Merging pull request #749  (Add ordering selector to tables) <-- Add this line
? What merge method would you like to use? Squash and merge
? Delete the branch locally and on GitHub? Yes
? What's next? Submit
✓ Squashed and merged pull request #749 (Add ordering selector to tables)
✓ Deleted local branch add_ordering_to_tables
✓ Deleted remote branch add_ordering_to_tables

Metadata

Metadata

Assignees

No one assigned

    Labels

    enhancementa request to improve CLIhelp wantedContributions welcome

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions