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 is a modification of the Style Guide, so rough consensus among the HotSpot Group members is required to make this change. Only Group members should vote for approval (via the github PR), though reasoned objections or comments from anyone will be considered. A decision on this proposal will not be made before Monday 14-Feb-2022 at 12h00 UTC. Since we're piggybacking on github PRs here, please use the PR review process to approve (click on Review Changes > Approve), rather than sending a "vote: yes" email reply that would be normal for a CFV. ------------- Commit messages: - update generated html - editorial change process Changes: https://git.openjdk.java.net/jdk/pull/7281/files Webrev: https://webrevs.openjdk.java.net/?repo=jdk&pr=7281&range=00 Issue: https://bugs.openjdk.java.net/browse/JDK-8280916 Stats: 13 lines in 2 files changed: 9 ins; 0 del; 4 mod Patch: https://git.openjdk.java.net/jdk/pull/7281.diff Fetch: git fetch https://git.openjdk.java.net/jdk pull/7281/head:pull/7281 PR: https://git.openjdk.java.net/jdk/pull/7281
