Skip to content

docs: rename sphinx plugin to sphinx_bzl#1922

Merged
aignas merged 1 commit intobazel-contrib:mainfrom
rickeylev:rename.sphinx.plugin
May 25, 2024
Merged

docs: rename sphinx plugin to sphinx_bzl#1922
aignas merged 1 commit intobazel-contrib:mainfrom
rickeylev:rename.sphinx.plugin

Conversation

@rickeylev
Copy link
Copy Markdown
Collaborator

This is to better reflect its Sphinx domain name and the scope of what it covers. It is able to document general Bazel concepts and isn't actually tied to Stardoc itself.

This is to better reflect its Sphinx domain name and the scope of what
it covers. It is able to document arbitrary Bazel concepts, and isn't
actually tied to stardoc itself.
@rickeylev rickeylev requested a review from aignas May 24, 2024 15:57
@aignas aignas added this pull request to the merge queue May 25, 2024
Merged via the queue into bazel-contrib:main with commit 975edfe May 25, 2024
@rickeylev rickeylev deleted the rename.sphinx.plugin branch May 25, 2024 06:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants