Skip to content

GH-145000: Add a tool to check removed HTML IDs - #145001

Merged
encukou merged 8 commits into
python:mainfrom
encukou:check-removed-anchors
Feb 25, 2026
Merged

GH-145000: Add a tool to check removed HTML IDs#145001
encukou merged 8 commits into
python:mainfrom
encukou:check-removed-anchors

Conversation

@encukou

@encukouencukou commented Feb 19, 2026•
edited by github-actions Bot
Loading

Copy link
Copy Markdown
Member

With this, make -CDoc html-ids will create a html-ids.json.gz file containing IDs in the built docs.

📚 Documentation preview 📚: https://cpython-previews--145001.org.readthedocs.build/

@bedevere-appbedevere-appBot mentioned this pull request Feb 19, 2026
Closed
@AlexWaygood
AlexWaygood removed their request for review February 19, 2026 14:04
serhiy-storchaka
serhiy-storchaka reviewed Feb 19, 2026
View reviewed changes
Comment threadDoc/tools/check-html-ids.py Outdated
Comment threadDoc/tools/check-html-ids.py Outdated
Comment threadDoc/tools/check-html-ids.py
Comment threadDoc/tools/check-html-ids.py Outdated
Comment threadDoc/tools/check-html-ids.py Outdated
serhiy-storchaka
serhiy-storchaka approved these changes Feb 20, 2026
View reviewed changes

@serhiy-storchakaserhiy-storchaka left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

LGTM. 👍

Comment threadDoc/tools/check-html-ids.py
hugovk
hugovk reviewed Feb 24, 2026
View reviewed changes
Comment threadDoc/.ruff.toml Outdated
@encukou@hugovk
Update Doc/.ruff.toml
81fa662
Co-authored-by: Hugo van Kemenade <1324225+hugovk@users.noreply.github.com>
encukou
encukou commented Feb 25, 2026
View reviewed changes
Comment threadDoc/.ruff.toml Outdated
@encukou
encukou merged commit 9b22261 into python:mainFeb 25, 2026
29 checks passed
@encukou
encukou deleted the check-removed-anchors branch February 25, 2026 12:38
@encukouencukou added the needs backport to 3.14 bugs and security fixes label Feb 25, 2026
@miss-islington-app

miss-islington-appBot commented Feb 25, 2026

Copy link
Copy Markdown

Thanks @encukou for the PR 🌮🎉.. I'm working now to backport this PR to: 3.14.
🐍🍒⛏🤖

miss-islington pushed a commit to miss-islington/cpython that referenced this pull request Feb 25, 2026
@encukou@miss-islington
pythonGH-145000: Add a tool to record/check removed HTML IDs (pythonG…
581ee1d
…H-145001)
(cherry picked from commit 9b22261)
Co-authored-by: Petr Viktorin <encukou@gmail.com>
@bedevere-app

bedevere-appBot commented Feb 25, 2026

Copy link
Copy Markdown

GH-145212 is a backport of this pull request to the 3.14 branch.

@bedevere-appbedevere-appBot removed the needs backport to 3.14 bugs and security fixes label Feb 25, 2026
encukou added a commit that referenced this pull request Feb 26, 2026
@miss-islington@encukou
[3.14]GH-145000: Add a tool to record/check removed HTML IDs (GH-145001
ff365eb
) (GH-145212)
(cherry picked from commit 9b22261)
Co-authored-by: Petr Viktorin <encukou@gmail.com>
brijkapadia pushed a commit to brijkapadia/cpython that referenced this pull request Feb 28, 2026
@encukou@brijkapadia
pythonGH-145000: Add a tool to record/check removed HTML IDs (python#…
61f597d
…145001)
ljfp pushed a commit to ljfp/cpython that referenced this pull request Apr 25, 2026
@encukou@ljfp
pythonGH-145000: Add a tool to record/check removed HTML IDs (python#…
1184dd5
…145001)
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@serhiy-storchakaserhiy-storchakaserhiy-storchaka approved these changes
@AA-TurnerAA-TurnerAwaiting requested review from AA-TurnerAA-Turner is a code owner
@hugovkhugovkAwaiting requested review from hugovkhugovk is a code owner

Assignees

No one assigned

Labels

skip news

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@encukou@hugovk@serhiy-storchaka