deploy_doc.sh: We need to set the upstream back to origin so that git pull works