Skip to content

Comments

add version tracking and release script#136

Merged
Mic92 merged 1 commit intomainfrom
merge-when-green-joerg
Feb 15, 2026
Merged

add version tracking and release script#136
Mic92 merged 1 commit intomainfrom
merge-when-green-joerg

Conversation

@Mic92
Copy link
Owner

@Mic92 Mic92 commented Feb 15, 2026

The derivation had no version, making it hard to tell which build a user
is running when debugging issues like #135. Add version.txt as the
single source of truth, referenced by default.nix via lib.fileContents.

The release script is adopted from nixpkgs-review to automate bumping
version.txt, tagging, and creating a GitHub draft release.

The derivation had no version, making it hard to tell which build a user
is running when debugging issues like #135. Add version.txt as the
single source of truth, referenced by default.nix via lib.fileContents.

The release script is adopted from nixpkgs-review to automate bumping
version.txt, tagging, and creating a GitHub draft release.
@Mic92 Mic92 enabled auto-merge (rebase) February 15, 2026 16:11
@Mic92 Mic92 merged commit e20eaab into main Feb 15, 2026
3 checks passed
@Mic92 Mic92 deleted the merge-when-green-joerg branch February 15, 2026 16:12
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.

1 participant