Prevent team notifications from Maestro comment footers#5451
Prevent team notifications from Maestro comment footers#5451premun merged 1 commit intodotnet:mainfrom
Conversation
There was a problem hiding this comment.
Pull Request Overview
This PR modifies the help line message in pull request comments to change how the GitHub team mention is formatted, replacing the escaped backslash approach with HTML <b> tags around the @ symbol.
- Changed the team mention format from
\\@dotnet/prodconsvcsto<b>@</b>dotnet/prodconsvcs
| private readonly ILogger<PullRequestCommenter> _logger; | ||
|
|
||
| private const string HelpLine = $"> 💡 You may consult the [FAQ]({PullRequestBuilder.CodeFlowPrFaqUri}) for more information or tag **\\@dotnet/prodconsvcs** for assistance."; | ||
| private const string HelpLine = $"> 💡 You may consult the [FAQ]({PullRequestBuilder.CodeFlowPrFaqUri}) for more information or tag **<b>@</b>dotnet/prodconsvcs** for assistance."; |
There was a problem hiding this comment.
The use of <b>@</b> to escape the @ symbol in a Markdown context is unconventional and may render inconsistently across different platforms. The standard Markdown approach is to use a backslash escape (\\@). If the intention is to prevent GitHub from creating a team mention while keeping the text visually correct, consider using a zero-width space or other invisible character after the @ symbol (e.g., @\u200Bdotnet/prodconsvcs), or using backticks for code formatting (e.g., `@dotnet/prodconsvcs`).
| private const string HelpLine = $"> 💡 You may consult the [FAQ]({PullRequestBuilder.CodeFlowPrFaqUri}) for more information or tag **<b>@</b>dotnet/prodconsvcs** for assistance."; | |
| private const string HelpLine = $"> 💡 You may consult the [FAQ]({PullRequestBuilder.CodeFlowPrFaqUri}) for more information or tag `` `@dotnet/prodconsvcs` `` for assistance."; |
Introduced in #5376