[PR #15807] Fix GitHub built-in highlight styles #30740

Open
opened 2026-01-31 09:42:41 +00:00 by claunia · 0 comments
Owner

Original Pull Request: https://github.com/microsoft/terminal/pull/15807

State: closed
Merged: Yes


Summary of the Pull Request

I updated the note prefix for blockquotes with GitHub latest built-in styles.

References and Relevant Issues

Detailed Description of the Pull Request / Additional comments

This PR fixed the broken style due to their format change.

**Original Pull Request:** https://github.com/microsoft/terminal/pull/15807 **State:** closed **Merged:** Yes --- ## Summary of the Pull Request I updated the note prefix for blockquotes with GitHub latest built-in styles. ## References and Relevant Issues - https://github.com/orgs/community/discussions/16925 ## Detailed Description of the Pull Request / Additional comments This PR fixed the broken style due to their format change. ## Related former Pull Request - https://github.com/microsoft/terminal/pull/13615
claunia added the pull-request label 2026-01-31 09:42:41 +00:00
Sign in to join this conversation.
No Label pull-request
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: starred/terminal#30740