[GitHub] PR bot posts escaped HTML for body #151019
Description
#66118 added HTML escaping of the PR body but I believe the proper unescaped characters are what should be produced. See #151006 (comment) for an example mismatch.
{{ message }}
#66118 added HTML escaping of the PR body but I believe the proper unescaped characters are what should be produced. See #151006 (comment) for an example mismatch.