Skip to content

Conversation

Copy link
Contributor

Copilot AI commented Oct 17, 2025

Explicitly write the links as #PR, otherwise Discourse renders it in a way that is redundant with the preceding text (both show the same):
image

Copilot AI changed the title [WIP] Update pull request link formatting in release notes script Format PR links as [#123](url) in Discourse release notes Oct 17, 2025
Copilot AI requested a review from ricardoV94 October 17, 2025 12:11
Copilot finished work on behalf of ricardoV94 October 17, 2025 12:11
@ricardoV94 ricardoV94 force-pushed the copilot/format-pull-request-links branch from 0ff428b to 9ef5be3 Compare October 20, 2025 14:56
@ricardoV94 ricardoV94 marked this pull request as ready for review October 20, 2025 14:56
@ricardoV94 ricardoV94 changed the title Format PR links as [#123](url) in Discourse release notes Format PR links in Discourse release notes to avoid redundant information Oct 20, 2025
@ricardoV94 ricardoV94 requested a review from twiecki October 20, 2025 15:02
@ricardoV94 ricardoV94 added docs no releasenotes Skipped in automatic release notes generation labels Oct 20, 2025
@ricardoV94 ricardoV94 merged commit 5d4f98b into main Oct 20, 2025
15 of 16 checks passed
@ricardoV94 ricardoV94 deleted the copilot/format-pull-request-links branch October 20, 2025 15:20
sotagg pushed a commit to sotagg/pymc that referenced this pull request Oct 24, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

docs no releasenotes Skipped in automatic release notes generation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants