Re: Closing Github PRs without merging

Michael Gentry <[email protected]> Sat, 23 Sep 2023 09:14:00 -0600

Newsgroups	gmane.comp.java.cayenne.devel
Message-ID	<CAOy5kzPTyiB+LguaRQDpTbqxrKVFUnxdNqcexSR+b4drr_W3yQ@mail.gmail.com>

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