Skip to content

Conversation

@fmease
Copy link
Member

@fmease fmease commented Aug 24, 2025

Similar to rust-lang/rustc-dev-guide#2446.

Content inside of an HTML element only gets interpreted as Markdown (as opposed to HTML) if it's separated by line breaks from the HTML tags.

Before After
Screenshot 2025-08-24 at 20-06-30 Issue Triaging - Rust Forge Screenshot 2025-08-24 at 20-06-44 Issue Triaging - Rust Forge
Screenshot 2025-08-24 at 20-08-12 Fixing bors queue - Rust Forge Screenshot 2025-08-24 at 20-08-26 Fixing bors queue - Rust Forge

Rendered

Content inside of an HTML element only gets interpreted as Markdown
(as opposed to HTML) if its separated by line breaks from the HTML tags.
@rustbot
Copy link
Collaborator

rustbot commented Aug 24, 2025

r? @jdno

rustbot has assigned @jdno.
They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Aug 24, 2025
@fmease fmease enabled auto-merge (rebase) August 24, 2025 18:12
@fmease fmease disabled auto-merge August 24, 2025 18:41
@fmease fmease enabled auto-merge (rebase) August 24, 2025 18:42
@apiraino apiraino self-assigned this Aug 26, 2025
@apiraino apiraino self-requested a review August 26, 2025 18:40
@apiraino apiraino removed their assignment Aug 26, 2025
Copy link
Contributor

@apiraino apiraino left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I trust the screenshots that you're not injecting a dreadful virus into our systems :D

@fmease fmease merged commit 2abc968 into rust-lang:master Aug 26, 2025
1 check passed
@rustbot rustbot removed the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Aug 26, 2025
@fmease fmease deleted the fix-warning-blocks branch August 26, 2025 19:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants