Skip to content

ci(labeler): label changes to the documentation site as docs - #3

Merged
JeanExtreme002 merged 1 commit into
mainfrom
fix-labeler-docs-glob
Aug 30, 2026
Merged

ci(labeler): label changes to the documentation site as docs#3
JeanExtreme002 merged 1 commit into
mainfrom
fix-labeler-docs-glob

Conversation

@JeanExtreme002

Copy link
Copy Markdown
Owner

Noticed while creating the labels the labeler needs.

Two things were wrong:

The labels did not exist. actions/labeler applies labels, it does not create them, so every rule in .github/labeler.yml was a no-op. All seven now exist (core, commands, shell, output, tests, docs, ci), with descriptions and a consistent palette — that part needed no code change.

The docs rule predates the documentation site. It matched the four markdown files at the repository root and nothing else, so a PR touching only docs/ came out unlabelled — as did one touching assets/ or the scripts/ that generate them. This adds those globs plus .readthedocs.yaml.

The docs rule listed the four markdown files at the repository root and
nothing else, so it predates the documentation site: a pull request touching
only docs/ came out unlabelled, as did one touching the images or the scripts
that generate them.

The seven labels the config refers to now exist in the repository — they never
did, so actions/labeler had nothing to apply.
@github-actions github-actions Bot added the ci CI workflows, the Makefile, packaging and repository config label Aug 30, 2026
@JeanExtreme002
JeanExtreme002 merged commit 1024bb6 into main Aug 30, 2026
18 checks passed
@github-actions
github-actions Bot deleted the fix-labeler-docs-glob branch August 30, 2026 23:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ci CI workflows, the Makefile, packaging and repository config

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant