On Sat, 15 Apr 2023 at 21:15, Łukasz Bownik <lukasz.bow...@gmail.com> wrote: > Will it get merged or shall I close it? I believe PRs can still get merged even after the fork is deleted - see https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/reviewing-changes-in-pull-requests/checking-out-pull-requests-locally#modifying-an-inactive-pull-request-locally However it can potentially make it more cumbersome for the NB developers so I don't see why you would delete it?
--------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@netbeans.apache.org For additional commands, e-mail: dev-h...@netbeans.apache.org For further information about the NetBeans mailing lists, visit: https://cwiki.apache.org/confluence/display/NETBEANS/Mailing+lists
