[git] pull_predefined = false repos = [ "~/dotfiles" ]