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

[Erik Joelsson]

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 `@`.

That's a creative solution. Nice that you found something that works.

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

Marked as reviewed by erikj (Lead).

PR Review: https://git.openjdk.org/skara/pull/1548#pullrequestreview-1591663145