### 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
vilmibm commentedon Jun 1, 2020
agreed that we're encouraging rudeness :) thanks for opening. @ampinsk how would you feel about adding
--comment "foo"topr close?ampinsk commentedon Jun 1, 2020
I love it! Great suggestion @jetersen :)
AliabbasMerchant commentedon Jun 1, 2020
Can I take this up in a PR?
(Its good to see the GitHub team members back in full force after a few days 😉)
AliabbasMerchant commentedon Jun 8, 2020
@gabgodbb Lets discuss on the PR itself
electrum commentedon Sep 17, 2020
I use
ghifor this today: