Integrated: 1807: Escape HTML in source code hosting provider's web UI as required

[Zhao Song]

On Thu, 26 Jan 2023 23:58:20 GMT, Zhao Song <zsong at openjdk.org> wrote:

> To avoid format errors caused by '<' and '>' in PR Body, the PR bot should properly escape the issue title in PR body on GitHub or GitLab.

This pull request has now been integrated.

Changeset: 1838b76d
Author:    Zhao Song <zsong at openjdk.org>
URL:       https://git.openjdk.org/skara/commit/1838b76d4f3223c4e187b3b51f91716d1a9fc1e9
Stats:     28 lines in 6 files changed: 12 ins; 8 del; 8 mod

1807: Escape HTML in source code hosting provider's web UI as required

Reviewed-by: erikj

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

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