RFR: Removing a JBS Issue [v4]

[Iris Clark]

On Wed, 9 Aug 2023 15:35:03 GMT, Jesper Wilhelmsson <jwilhelm at openjdk.org> wrote:

>> Short note on removing JBS issues.
>> And adding back a lost parenthesis.
>> Added text about understanding the code before creating a PR.
>
> 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>

Marked as reviewed by iris (Reviewer).

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"

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

PR Review: https://git.openjdk.org/guide/pull/112#pullrequestreview-1570111586
PR Review Comment: https://git.openjdk.org/guide/pull/112#discussion_r1288886555