On Sun, 30 Jan 2022 00:28:59 GMT, Kim Barrett <kbarr...@openjdk.org> wrote:
> Please review this change to the HotSpot Style Guide change process. > > The current process involves gathering consensus among the HotSpot Group > Members. That's fine for changes of substance. But it seems overly weighty > for editorial changes that don't affect the substance of the guide, but only > it's clarity or accuracy. > > The proposed change would permit the normal PR process to be used for such > changes, but require the requisite reviewers to additionally be HotSpot Group > Members. > > Note that there have already been a couple of changes that effectively > followed the proposed new process. > https://bugs.openjdk.java.net/browse/JDK-8274169 > https://bugs.openjdk.java.net/browse/JDK-8280182 This pull request has been closed without being integrated. ------------- PR: https://git.openjdk.java.net/jdk/pull/7280
