Skip to content

gh pr close with comment? #1038

Closed
Closed

Description

@jetersen

Describe the feature or problem you’d like to solve

Closing a PR without a comment seems rude 😅

Now that I think about it: gh pr comment would also be useful.

--comment "my comment" may make sense for simple one liners.
--comment and than open my code editor of choice would also be useful.

Proposed solution

gh pr close {<number> | <url> | <branch>} --comment "superseded by #123"

Additional context

N/A

Activity

  1. vilmibm commented on Jun 1, 2020

    @vilmibm
    Contributor

    agreed that we're encouraging rudeness :) thanks for opening. @ampinsk how would you feel about adding --comment "foo" to pr close?

  2. ampinsk commented on Jun 1, 2020

    @ampinsk

    I love it! Great suggestion @jetersen :)

  3. AliabbasMerchant commented on Jun 1, 2020

    @AliabbasMerchant
    Contributor

    Can I take this up in a PR?
    (Its good to see the GitHub team members back in full force after a few days 😉)

  4. AliabbasMerchant commented on Jun 8, 2020

    @AliabbasMerchant
    Contributor

    @gabgodbb Lets discuss on the PR itself

  5. electrum commented on Sep 17, 2020

    @electrum

    I use ghi for this today:

    ghi comment --close --message 'Merged, thanks!' $PR
  6. assigned and unassigned on Apr 6, 2022
  7. added
    coreThis issue is not accepting PRs from outside contributors
    and removed
    needs-designAn engineering task needs design to proceed
    on Apr 6, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Labels

coreThis issue is not accepting PRs from outside contributorsenhancementa request to improve CLI

Type

No type

Projects

No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions