change gitconfig to adopt new push default behavior