Integrated: Get agreement before PR

Tue May 6 08:16:31 UTC 2025

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.

This pull request has now been integrated.

Changeset: 47aa1027
Author:    Jesper Wilhelmsson <jwilhelm at openjdk.org>
URL:       https://git.openjdk.org/guide/commit/47aa1027db2fae8cd84079447bee7c6dc6da3560
Stats:     2 lines in 1 file changed: 2 ins; 0 del; 0 mod

Get agreement before PR

Reviewed-by: iris

-------------

PR: https://git.openjdk.org/guide/pull/150