From 6ed174b72dc4bb424d909e70251ebeb7cbb5a4d8 Mon Sep 17 00:00:00 2001 From: bernatx Date: Wed, 27 Oct 2021 09:16:38 +0200 Subject: [PATCH] Fix documentation git address --- Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Jenkinsfile b/Jenkinsfile index 70d40b4c5..3c01ded22 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -184,7 +184,7 @@ pipeline sh 'rm -rf ~/carla-simulator.github.io/Doxygen' sh ''' cd ~/carla-simulator.github.io - git remote set-url origin git@github.com:carla-simulator/carla-simulator.github.io.git + git remote set-url origin git@docs:carla-simulator/carla-simulator.github.io.git git fetch git checkout -B master origin/master '''