Update deploy_documentation.sh (#102)

carla-simulator · Feb 1, 2024 · 7881662 · 7881662
1 parent 73894d6
commit 7881662
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/deploy_documentation.sh b/.github/workflows/deploy_documentation.sh
@@ -40,6 +40,7 @@ git config user.name "Github Action"
 git commit -m "Updated documentation" --no-edit
 
 if [ "$1" = true ]; then
+  git remote set-url origin https://x-access-token:${GITHUB_TOKEN}@github.com/carla-simulator/map
   git push origin doc
 else
   echo "Only testing mode - No deployment"