Commit Graph
1 Commits
Author SHA1 Message Date
Jakub ChábekandMarc Cornellà 0e0789fb7a 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.
2019-03-29 22:56:59 +01:00