Skip to content

Update RTD config to remove empty build.tools#2283

Merged
webknjaz merged 1 commit intojazzband:mainfrom
sirosen:remove-empty-rtd-build-tools
Nov 24, 2025
Merged

Update RTD config to remove empty build.tools#2283
webknjaz merged 1 commit intojazzband:mainfrom
sirosen:remove-empty-rtd-build-tools

Conversation

@sirosen
Copy link
Member

@sirosen sirosen commented Nov 24, 2025

...and enable the RTD config linting hook.


This was noted during #2273, so I reached out to RTD for clarification.
Based on this response, it seems safe to assume that empty and missing are the same for build.tools (that's the logical thing to guess as well).

Regardless of whether or not the schema gets updated -- it probably won't -- we can enable the hook today if we remove build.tools.

Contributor checklist
  • [x] Included tests for the changes.
  • A change note is created in changelog.d/ (see changelog.d/README.md for instructions) or the PR text says "no changelog needed".
Maintainer checklist
  • If no changelog is needed, apply the bot:chronographer:skip label.
  • Assign the PR to an existing or new milestone for the target version (following Semantic Versioning).

Copy link
Member

@webknjaz webknjaz left a comment

Choose a reason for hiding this comment

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

brilliant!

@webknjaz webknjaz added this pull request to the merge queue Nov 24, 2025
Merged via the queue into jazzband:main with commit 8c7702e Nov 24, 2025
52 checks passed
@sirosen sirosen deleted the remove-empty-rtd-build-tools branch November 25, 2025 00:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants

Comments