Integrated: 2000: Escape user handles in bug titles in pr body

[Zhao Song]

On Tue, 22 Aug 2023 21:14:48 GMT, Zhao Song <zsong at openjdk.org> wrote:

> In this patch, the bot would escape `@` in the issue title in pr body.
> 
> I tried to escape `@` with `@`, but failed, the text would still mention the link.
> 
> So according to this [page](https://github.com/github/markup/issues/1168#issuecomment-494946168), I escape `@` with `@`.

This pull request has now been integrated.

Changeset: 5eb862ef
Author:    Zhao Song <zsong at openjdk.org>
URL:       https://git.openjdk.org/skara/commit/5eb862ef7c1d7913208d34e7a8d202f225d88120
Stats:     2 lines in 1 file changed: 1 ins; 0 del; 1 mod

2000: Escape user handles in bug titles in pr body

Reviewed-by: prappo, erikj

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

PR: https://git.openjdk.org/skara/pull/1548