On Fri, 17 Mar 2023 13:56:44 GMT, Guoxiong Li <gli at openjdk.org> wrote: > Seems to only influence several PRs, so I don't want to complicate the flow. Sure! I am also ok with it. ------------- PR Review Comment: https://git.openjdk.org/skara/pull/1485#discussion_r1140272665