Modded scripts

bin/git-delete-branch.sh

@@ -0,0 +1,21 @@
+#!/bin/bash
+
+branch=$1
+if [ -z "$branch" ]; then
+  echo "ERROR: No branch name given."
+  exit 1
+fi
+
+# Force delete if not merged
+if ! git branch -D "$branch"; then
+  echo "ERROR: Failed to delete local branch $branch with -D flag."
+  exit 1
+fi
+
+# Delete remote branch
+if ! git push origin --delete "$branch"; then
+  echo "ERROR: Failed to delete remote branch $branch"
+  exit 1
+fi
+
+echo "Branch $branch deleted."

bin/git-rename-branch.sh

@@ -15,9 +15,13 @@ rename_branch() {
   branch_new=$2
   echo "Renaming $branch to $branch_new"
   echo git branch -m "$branch" "$branch_new"
+  git branch -m "$branch" "$branch_new"
   echo git push origin "$branch_new"
+  git push origin "$branch_new"
   echo git push origin --delete "$branch"
+  git push origin --delete "$branch"  
   echo git push --set-upstream origin "$branch_new"
+  git push --set-upstream origin "$branch_new" 
 }
 
 nargs=$#