git push default to matching, fix gitignore of git/gitconfig.symlink