Skip to content

Commit 7e73e73

Browse files
authored
Update update_registry.jl
1 parent 4cb2d95 commit 7e73e73

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

.ci/update_registry.jl

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -49,7 +49,7 @@ try
4949
run(`git commit -m "update registry for $target_name v$version"`)
5050
run(`git push -u origin chore/update-registry`)
5151
run(`gh pr create --title "Update registry for $target_name v$version"`)
52-
run(`gh pr merge`)
52+
run(`gh pr merge --auto --merge`)
5353
println("✅ Registry pushed.")
5454
catch e
5555
println("⚠️ Could not push registry: $e")

0 commit comments

Comments
 (0)