Re: Closing Github PRs without merging

2023-09-24 Thread Andrus Adamchik
Ah, found the answer - GitHub and Apache Gitbox accounts need to be linked to get the needed permissions. So I followed the instructions here: https://infra.apache.org/apache-github.html , waited for 5 min, refreshed GitHub, and now I see the "Close" button. Andrus > On Sep 23, 2023, at 11:14

Re: Closing Github PRs without merging

2023-09-23 Thread Michael Gentry
I'm not seeing it, either. Perhaps a permissions issue? On Sat, Sep 23, 2023 at 8:45 AM Andrus Adamchik wrote: > Hey, anyone knows how to manually close pull requests on GitHub (without > merging)? Specifically talking about this one that is no longer relevant: > > https://github.com/apache/caye

Closing Github PRs without merging

2023-09-23 Thread Andrus Adamchik
Hey, anyone knows how to manually close pull requests on GitHub (without merging)? Specifically talking about this one that is no longer relevant: https://github.com/apache/cayenne-website/pull/21 I only see the "Comment" button. No "Close" Andrus