tweak gitconfig so branch delete works