On Thu, 24 Oct 2024 22:33:18 GMT, Valerie Peng <valer...@openjdk.org> wrote:
> Note the bot warning on the branch name being master. Will you change this > following the bot's instruction? Also the minor issue with the convention of > starting the synopsis with Upper case, i.e. "potential" -> "Potential". I had missed this bot comment. @IvaVladimir you probably ought to take the bots advice and close this PR, move the changes over to a new branch and create a new PR from that branch -- otherwise your repository will get into a real wonky state after integration. ------------- PR Comment: https://git.openjdk.org/jdk/pull/21622#issuecomment-2437474439
