gitconfig: actually use gitignore_global.....