Any reason for using force to delete local branch though (git branch -D "$1", the d is majuscule)?
git branch -D "$1"
I think it'd be safer to use git branch -d "$1"
git branch -d "$1"
I think that's because it avoids the message of the branch not being merged?
Yes, so that means you lose your code (hence the force).
We're a place where coders share, stay up-to-date and grow their careers.
We strive for transparency and don't collect excess data.