git: delete branches in `gbda` only if there are any (#6079)
It doesn't make sense to run `git branch -d $BRANCH` if the `$BRANCH` is empty.
Please register or sign in to comment
It doesn't make sense to run `git branch -d $BRANCH` if the `$BRANCH` is empty.