Skip to content

Conversation

@hugovk
Copy link
Owner

@hugovk hugovk commented Oct 31, 2024

GitHub renders links to (what I guess from the anchor are called) review discussions as comments:

https://github.com/python/peps/pull/2399#discussion_r823103351
->
python/peps#2399 (comment)

For example: python/peps#2399 (comment)

Add this to the comment regex.

@hugovk hugovk added the changelog: Fixed For any bug fixes label Oct 31, 2024
@hugovk hugovk merged commit 138ac05 into main Oct 31, 2024
43 checks passed
@hugovk hugovk deleted the review-discussion branch October 31, 2024 16:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

changelog: Fixed For any bug fixes

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants