Skip to content

Linting: create check for headings which start with a number#11812

Draft
ScatteredComet wants to merge 1 commit intogodotengine:masterfrom
ScatteredComet:linting/create-heading-github-action
Draft

Linting: create check for headings which start with a number#11812
ScatteredComet wants to merge 1 commit intogodotengine:masterfrom
ScatteredComet:linting/create-heading-github-action

Conversation

@ScatteredComet
Copy link
Contributor

@ScatteredComet ScatteredComet commented Mar 4, 2026

  • Adds a linting check using python to find any headings which start with a number and do not have a preceding custom anchor. If there is no preceding anchor, the link fragment will appear incorrect as per Incorrect link fragments #11016

This is a draft PR for a few reasons:

@ScatteredComet ScatteredComet force-pushed the linting/create-heading-github-action branch 2 times, most recently from 80c91ff to 95faedd Compare March 4, 2026 02:08
@ScatteredComet ScatteredComet force-pushed the linting/create-heading-github-action branch from 95faedd to 322a9e2 Compare March 4, 2026 03:19
@ScatteredComet ScatteredComet force-pushed the linting/create-heading-github-action branch from 322a9e2 to 23a08b6 Compare March 4, 2026 03:43
@Calinou Calinou added enhancement content:website Issues related to adding website features and fixing bugs, whether on the front or back-end labels Mar 4, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

content:website Issues related to adding website features and fixing bugs, whether on the front or back-end enhancement

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants