RFR: Removing a JBS Issue [v4]

[Jesper Wilhelmsson]

On Wed, 9 Aug 2023 16:43:39 GMT, Iris Clark <iris at openjdk.org> wrote:

>> Jesper Wilhelmsson has updated the pull request incrementally with two additional commits since the last revision:
>> 
>>  - Fixes after review
>>  - Update src/guide/working-with-pull-requests.md
>>    
>>    Co-authored-by: Alexey Ivanov <alexey.ivanov at oracle.com>
>
> 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 thought through reason to why the issue should be removed.
> 
> Consider "well thought through" -> "well considered"

Thanks for reviewing! Fixed.

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

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