RFR: 8349847: Support configuring individual lint categories as errors

Sat May 31 19:32:53 UTC 2025

On Sat, 31 May 2025 15:13:59 GMT, ExE Boss <duke at openjdk.org> wrote:

> `/touch` is for already open pull requests, `/open` is for re‑opening bot‑closed pull requests.

Ah, didn't know about`/open`... I was trying to use the github controls. I will try that. Thanks!

Closing this PR.

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

PR Comment: https://git.openjdk.org/jdk/pull/25558#issuecomment-2925635763