RFR: Removing a JBS Issue [v2]

[Jesper Wilhelmsson]

On Thu, 3 Aug 2023 10:12:09 GMT, Tobias Hartmann <thartmann at openjdk.org> wrote:

>> Jesper Wilhelmsson has updated the pull request incrementally with one additional commit since the last revision:
>> 
>>   Understand your code
>
> src/guide/jbs-jdk-bug-system.md line 250:
> 
>> 248: Removing a JBS issue is a rare extreme case that shouldn't be part of the normal workflow. For this reason, removing issues is restricted to admins only. If you for some reason need to remove an issue, send an email to [ops at openjdk.org](mailto:ops at openjdk.org). You need to provide the bug id and a well thought through reason to why the issue should be removed.
>> 249: 
>> 250: Note that JBS issues are not removed just because something was a bad idea, or reported an issue that turned out to be an embarassing user misstake. Such issues are simply closed.
> 
> Suggestion:
> 
> Note that JBS issues are not removed just because something was a bad idea, or reported an issue that turned out to be an embarrassing user mistake. Such issues are simply closed.

Good catch!  That was an embarrassing mistake. :-)

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

PR Review Comment: https://git.openjdk.org/guide/pull/112#discussion_r1288711358