On Mon, 5 May 2025 19:05:41 GMT, Jesper Wilhelmsson <jwilhelm at openjdk.org> wrote: > Added a note on getting proper agreement on a change before creating a PR for it. Thank you Iris! ------------- PR Comment: https://git.openjdk.org/guide/pull/150#issuecomment-2853654722