Skip to content

Add prerelease option for github version source#147

Merged
berberman merged 3 commits into
masterfrom
github_prerelease
Feb 25, 2026
Merged

Add prerelease option for github version source#147
berberman merged 3 commits into
masterfrom
github_prerelease

Conversation

@berberman
Copy link
Copy Markdown
Owner

Closes #144

@berberman berberman merged commit 203b8a4 into master Feb 25, 2026
1 check passed
@berberman berberman deleted the github_prerelease branch February 25, 2026 00:43
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.

fetch github prerelease

1 participant