I'm not seeing it, either. Perhaps a permissions issue? On Sat, Sep 23, 2023 at 8:45 AM Andrus Adamchik <aadamc...@gmail.com> 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
