On Wed, 7 Jun 2023 17:22:23 GMT, Jeremy <d...@openjdk.org> wrote: > What is the fate of auto-closed PRs?
@mickleness You can reopen the PR with the [`/open`](https://wiki.openjdk.org/display/SKARA/Pull+Request+Commands#PullRequestCommands-/open) command. > That is: as long as I don't delete this branch in my repo will this be > available for future reference if anyone dusts off this ticket in the future? If you keep the branch in your repo, you or anyone could use it as the base to continue working on this issue. ------------- PR Comment: https://git.openjdk.org/jdk/pull/13196#issuecomment-1748756928
