Merge pull request #15 from SimplePixelFont/The-Nice-One-patch-1

Refactor git push and PR merge commands

Author: The-Nice-One

.ci/update_registry.jl

@@ -47,9 +47,9 @@ try
     run(`git switch -c chore/update-registry`)
     run(`git add $registry_path`)
     run(`git commit -m "update registry for $target_name v$version"`)
-    run(`git push -u origin chore/update-registry`)
+    run(`git push -u origin registry/$target_name-v$version`)
     run(`gh pr create --fill --title "Update registry for $target_name v$version"`)
-    run(`gh pr merge --auto --merge --delete-branch`)
+    run(`gh pr merge --auto --merge`)
     println("✅ Registry pushed.")
 catch e
     println("⚠️  Could not push registry: $e")