Skip to content

Improve release instructions#418

Merged
lilyminium merged 3 commits intodevelopfrom
release
Mar 31, 2025
Merged

Improve release instructions#418
lilyminium merged 3 commits intodevelopfrom
release

Conversation

@RMeli
Copy link
Copy Markdown
Member

@RMeli RMeli commented Mar 31, 2025

Copy link
Copy Markdown
Member

@lilyminium lilyminium left a comment

Choose a reason for hiding this comment

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

Thanks @RMeli! I just updated versions.json for the gh-pages branch too and suggested it here. It's clumsy but I haven't had time to automate that part yet. versions.json controls the versions you see in the little sidebar popup.

@RMeli
Copy link
Copy Markdown
Member Author

RMeli commented Mar 31, 2025

Thanks @lilyminium!

I had this issue before (#350 (comment)) but since the old ones were not there anymore I thought it was some sort of cache and that they would magically go away... Turns out you probably did the magic! =)

Co-authored-by: Lily Wang <31115101+lilyminium@users.noreply.github.com>
Copy link
Copy Markdown
Member

@lilyminium lilyminium left a comment

Choose a reason for hiding this comment

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

LGTM -- thanks @RMeli !

@lilyminium lilyminium merged commit 5bfde92 into develop Mar 31, 2025
4 checks passed
@RMeli RMeli deleted the release branch April 1, 2025 07:17
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