Skip to content

Conversation

@AlejandroFernandezLuces
Copy link
Contributor

No description provided.

@github-actions github-actions bot added the documentation Improvements or additions to documentation label Oct 29, 2025
@AlejandroFernandezLuces AlejandroFernandezLuces marked this pull request as ready for review October 29, 2025 11:11
Copy link
Contributor

@moe-ad moe-ad left a comment

Choose a reason for hiding this comment

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

LGTM. I just made a small suggestion.

Copy link
Member

@RobPasMue RobPasMue left a comment

Choose a reason for hiding this comment

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

Apart from @moe-ad's suggestion, LGTM!

Co-authored-by: Muhammed Adedigba <68085496+moe-ad@users.noreply.github.com>
@AlejandroFernandezLuces AlejandroFernandezLuces enabled auto-merge (squash) October 29, 2025 13:42
@AlejandroFernandezLuces AlejandroFernandezLuces merged commit d461142 into main Oct 29, 2025
8 checks passed
@AlejandroFernandezLuces AlejandroFernandezLuces deleted the doc/pre-release-info branch October 29, 2025 13:52
github-actions bot pushed a commit that referenced this pull request Oct 29, 2025
* doc: Update release page to include pre-releases

* fix: PEP link

* Update doc/source/how-to/releasing.rst

Co-authored-by: Muhammed Adedigba <68085496+moe-ad@users.noreply.github.com>

---------

Co-authored-by: Muhammed Adedigba <68085496+moe-ad@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Add prerelease instructions to the Releasing and Publishing section

4 participants