An error occurred while fetching folder content.
git: delete branches in `gbda` only if there are any (#6079)
Jakub Chábek authored
It doesn't make sense to run `git branch -d $BRANCH` if the `$BRANCH` is empty.
0e0789fb
Name Last commit Last update