Delete merged git branches

git_delete_merged.sh

# Delete local branches.
git branch --merged main | grep -v "\* main" | xargs -n 1 git branch -d
# Delete local branches (seems to remove only some).
git remote prune origin

# Delete remote branches (dry run).
git branch -r --merged origin/main | grep -v 'origin/main' | sed -E 's/(origin\/)//'
# Delete remote branches (for real).
git branch -r --merged origin/main | grep -v 'origin/main' | sed -E 's/(origin\/)//' | xargs -n 1 -I % git push origin :%