From 1f8d2da86eb9b76b03369132db309df85041b62f Mon Sep 17 00:00:00 2001
From: Dominic DePasquale <7384087+domdepasquale@users.noreply.github.com>
Date: Wed, 30 Aug 2023 13:48:11 -0400
Subject: [PATCH] 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
---
 src/commit-and-pull-request.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/commit-and-pull-request.sh b/src/commit-and-pull-request.sh
index 1b164a3..1be23c9 100755
--- 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