Skip to content

Conversation

@priteau
Copy link
Member

@priteau priteau commented Oct 23, 2025

No description provided.

@priteau priteau self-assigned this Oct 23, 2025
@priteau priteau requested a review from a team as a code owner October 23, 2025 19:34
Copy link

@gemini-code-assist gemini-code-assist bot left a comment

Choose a reason for hiding this comment

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

Code Review

This pull request adds the sphinx-copybutton extension to the documentation, which will add a copy button to code blocks. The changes are straightforward, adding the new dependency and enabling the Sphinx extension. I have one suggestion to improve maintainability by keeping the dependencies in doc/requirements.txt alphabetically sorted, as is the current convention in that file.

Also reorder doc/requirements.txt and fix sphinx-substitution-extensions
license.
@priteau
Copy link
Member Author

priteau commented Oct 24, 2025

/gemini review

Copy link

@gemini-code-assist gemini-code-assist bot left a comment

Choose a reason for hiding this comment

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

Code Review

The pull request adds the sphinx-copybutton extension to the documentation build process. This allows users to easily copy code blocks from the documentation. The changes involve adding sphinx-copybutton to the requirements.txt file and including it as an extension in the conf.py file.

@priteau priteau requested a review from Alex-Welsh October 24, 2025 08:17
Copy link
Member

@Alex-Welsh Alex-Welsh left a comment

Choose a reason for hiding this comment

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

Very nice QOL change

@Alex-Welsh Alex-Welsh enabled auto-merge (rebase) October 24, 2025 08:52
@Alex-Welsh Alex-Welsh merged commit b0868db into stackhpc/2025.1 Oct 24, 2025
22 checks passed
@Alex-Welsh Alex-Welsh deleted the doc-copy-button branch October 24, 2025 09:32
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.

3 participants