Merge branch 'main' into release

2025-07-08 18:22:38 -04:00 · 2025-07-08 18:22:38 -04:00 · 671cac5fe6
commit 671cac5fe6
parent cbae18c88d c111f9ab22
1 changed files with 2 additions and 2 deletions
--- a/4
+++ b/4
@ -27,10 +27,10 @@ git_status := `git status -s`
 # publish this branch into release
 release:
    echo {{ if git_status == "" {"git status ok"} else {error("please commit changes first")} }}
-    just build
-    -git commit -am "release build"
    git checkout release
    git merge {{from_branch}}
+    just build
+    -git commit -am "release build"
    git push
    git checkout {{from_branch}}