RFR: Removing a JBS Issue [v5]

[Jesper Wilhelmsson]

On Thu, 10 Aug 2023 18:46:42 GMT, Alexey Ivanov <aivanov at openjdk.org> wrote:

>> Jesper Wilhelmsson has updated the pull request incrementally with one additional commit since the last revision:
>> 
>>   Considered
>
> src/guide/jbs-jdk-bug-system.md line 248:
> 
>> 246: ## Removing an issue
>> 247: 
>> 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 considered reason to why the issue should be removed.
> 
> Suggestion:
> 
> 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 considered reason why the issue should be removed.
> 
> Is _‘to’_ necessary before _‘why’_?

Either way works for me :-)

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

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