Re: Closing Github PRs without merging

Andrus Adamchik <[email protected]> Sun, 24 Sep 2023 09:29:15 -0400

Newsgroups	gmane.comp.java.cayenne.devel
Message-ID	<[email protected]>

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 AM, Michael Gentry <[email protected]> wrote:
> 
> I'm not seeing it, either. Perhaps a permissions issue?
> 
> On Sat, Sep 23, 2023 at 8:45 AM Andrus Adamchik <[email protected]> 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/cayenne-website/pull/21
>> 
>> I only see the "Comment" button. No "Close"
>> 
>> Andrus