gitconfig change for push default in Git2