Repository navigation
Check removed HTML IDs #145000
Copy link
Copy link
Closed
Labels
docsDocumentation in the Doc dirDocumentation in the Doc dirinfraCI, GitHub Actions, buildbots, Dependabot, etc.CI, GitHub Actions, buildbots, Dependabot, etc.type-featureA feature request or enhancementA feature request or enhancement
Description
Activity
- addedtype-featureA feature request or enhancementA feature request or enhancementdocsDocumentation in the Doc dirDocumentation in the Doc dir
on Feb 19, 2026 - addedinfraCI, GitHub Actions, buildbots, Dependabot, etc.CI, GitHub Actions, buildbots, Dependabot, etc.
on Feb 19, 2026
Metadata
Metadata
Assignees
Labels
docsDocumentation in the Doc dirDocumentation in the Doc dirinfraCI, GitHub Actions, buildbots, Dependabot, etc.CI, GitHub Actions, buildbots, Dependabot, etc.type-featureA feature request or enhancementA feature request or enhancement
Projects
- StatusShow more project fieldsTodo
As discussed in https://discuss.python.org/t/tracking-removed-html-ids/106037, let's track HTML IDs in docs so that removing one is a conscious decision.
Linked PRs
check-html-ids.pyin CI #145632reusable-check-html-ids.ymlworkflow #147975