Skip to content

Include owner/repo in output involving issue and PR numbers #8777

Description

@nobe4

Describe the feature or problem you’d like to solve

The context around gh pr merge can be lost as the current repo is not shown by the prompt:

Merging pull request #123 (the PR title)
? What merge method would you like to use? 
...

Proposed solution

Add owner/repo on the prompt:

Merging pull request owner/repo#123 (the PR title)
? What merge method would you like to use? 
...

Activity

  1. added a commit that references this issue on Mar 1, 2024
  2. andyfeller commented on Mar 1, 2024

    @andyfeller
    Contributor

    @williammartin : how thoroughly and consistently were you thinking these changes go?

    Looking for places we output numbers #%d for other issue/pr/discussion # references, there are other places we should consider bringing along.

    The reason I suggest this is because multiple commands that imply the owner/name of the repository being affected can be -R, --repo overridden or use URLs, so the consistent use of this information helps people realize if they are mistargeting repositories faster.

    Thoughts?

  3. changed the title [-]Include `owner/repo` in `gh pr merge` prompt[/-] [+]Include `owner/repo` in output involving issue and PR numbers[/+] on Mar 1, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    enhancementa request to improve CLIgh-issuerelating to the gh issue commandgh-prrelating to the gh pr commandneeds-triageneeds to be reviewed

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions