On Wed, 5 Jul 2023 16:27:52 GMT, Florian Kirmaier <fkirma...@openjdk.org> wrote:
> I guess there is no way to reopen pull requests, except creating new ones? There is, using the Skara `/open` command. In this case, I think the approach suggested by @beldenfox might be preferable. ------------- PR Comment: https://git.openjdk.org/jfx/pull/622#issuecomment-1630761864
