Removes push option from gitconfig.