diff --git a/doc/index.rst b/doc/index.rst index 70773be21..24a879e56 100644 --- a/doc/index.rst +++ b/doc/index.rst @@ -314,6 +314,11 @@ Or mixed: DOWNSTREAM_WORKSPACE="github:ros-simulation/gazebo_ros_pkgs@melodic-devel https://raw.githubusercontent.com/ros-controls/ros_control/melodic-devel/ros_control.rosinstall -ros_control additional.repos" +To depend on a different repository of a private server using git and the SSH protocol: +:: + + UPSTREAM_WORKSPACE='git+ssh://git@private.server.net/repository#branch' + To filter the target workspace: :: diff --git a/industrial_ci/src/workspace.sh b/industrial_ci/src/workspace.sh index fb21c6565..68382e68a 100644 --- a/industrial_ci/src/workspace.sh +++ b/industrial_ci/src/workspace.sh @@ -37,7 +37,7 @@ function ici_parse_repository_url { gitlab | gl) echo "${name%.git}" "git" "https://gitlab.com/$repo" "$fragment" ;; - 'git+file'*|'git+http'*) + 'git+file'*|'git+http'*|'git+ssh'*) echo "${name%.git}" "git" "${scheme#git+}:$repo" "$fragment" ;; git+*)