git-gui: Delete branches with 'git branch -D' to clear config