Fix gitconfig push to be git 2.0 compatible