On Mon, 16 Dec 2024 10:37:40 GMT, Robbin Ehn <rehn at openjdk.org> wrote: > Sorry, maybe you don't need to :) I don't think reviewers without OpenJDK IDs will be listed in the git commit message. So we should be fine. ------------- PR Comment: https://git.openjdk.org/jdk/pull/22752#issuecomment-2545229009