Change gitconfig push for compatibility.