Closing Github PRs without merging
Andrus Adamchik <[email protected]> Sat, 23 Sep 2023 10:45:01 -0400
| Newsgroups | gmane.comp.java.cayenne.devel |
|---|---|
| Message-ID | <[email protected]> |
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