delete the branches after successful merge (#37)

This would help in the scenario where the source code is a commit "roll back" and not a revert commit. w/o this, the original branch with SHA will still exist and thus won't create a new PR
kustomize-everything · Aug 30, 2023 · 1f8d2da · 1f8d2da
1 parent 8c4ca88
commit 1f8d2da
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/commit-and-pull-request.sh b/src/commit-and-pull-request.sh
@@ -125,7 +125,7 @@ if [[ "${PROMOTION_METHOD}" == "pull_request" ]]; then
   echo
   if [[ "${AUTO_MERGE}" == "true" ]]; then
     echo "Status checks have all passed. Merging PR..."
-    gh pr merge --squash --admin
+    gh pr merge --squash --admin --delete-branch
     echo
     echo "Promotion PR has been merged. Details below."
   else