Skip to content

Commit

Permalink
Merge pull request #145 from numtide/merge-when-green-joerg
Browse files Browse the repository at this point in the history
create-release: add v prefix
  • Loading branch information
Mic92 authored Nov 5, 2024
2 parents d437b88 + 2e149d5 commit 042166c
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion scripts/create-release.sh
Original file line number Diff line number Diff line change
Expand Up @@ -29,6 +29,6 @@ if [[ $unpushed_commits != "" ]]; then
exit 1
fi
nix flake check -vL
git tag "${version}"
git tag "v${version}"

echo "now run 'git push --tags origin main'"

0 comments on commit 042166c

Please sign in to comment.