Skip to content

Escape tags and emphasis in the download summary's prose - #135

Merged
microbit-matt-hillsdon merged 1 commit into
mainfrom
summary-escaping
Sep 8, 2026
Merged

Escape tags and emphasis in the download summary's prose#135
microbit-matt-hillsdon merged 1 commit into
mainfrom
summary-escaping

Conversation

@microbit-matt-hillsdon

Copy link
Copy Markdown
Contributor

A dropped translation's reason names the placeholders and tags that differ, so "missing

  • ,

    ,

      " reached the pull request body as HTML and rendered as an empty list. The reasons and download errors are now backslash-escaped; the ids and message texts were already code spans.

      Code spans are fenced with more backticks than any run inside them, since a backslash does not escape within a span.

  • A dropped translation's reason names the placeholders and tags that
    differ, so "missing <li>, <p>, <ul>" reached the pull request body as
    HTML and rendered as an empty list. The reasons and download errors are
    now backslash-escaped; the ids and message texts were already code spans.
    
    Code spans are fenced with more backticks than any run inside them,
    since a backslash does not escape within a span.
    @cloudflare-workers-and-pages

    Copy link
    Copy Markdown

    Deploying ui with  Cloudflare Pages  Cloudflare Pages

    Latest commit: f85cf57
    Status: ✅  Deploy successful!
    Preview URL: https://65a8a5a3.ui-2wg.pages.dev
    Branch Preview URL: https://summary-escaping.ui-2wg.pages.dev

    View logs

    @microbit-matt-hillsdon

    microbit-matt-hillsdon commented Sep 8, 2026

    Copy link
    Copy Markdown
    Contributor Author

    Comical PR: microbit-foundation/python-editor-v3#1310

    Amusingly, the exact same rendering is in the description of this one from the commit message.

    @microbit-matt-hillsdon
    microbit-matt-hillsdon merged commit 2c94826 into main Sep 8, 2026
    3 checks passed
    @microbit-matt-hillsdon
    microbit-matt-hillsdon deleted the summary-escaping branch September 8, 2026 08:22
    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.

    1 participant