diff --git a/docker/Dockerfile b/docker/Dockerfile index 52a1979077056ba66dd6428bd48c1e5916a73777..54c73b44ce888489e97b8595bdc6f3b683151197 100644 --- a/docker/Dockerfile +++ b/docker/Dockerfile @@ -70,7 +70,7 @@ USER user RUN ls -al /home/user WORKDIR ${HOME}/work_dir -RUN git clone --recurse-submodules -b ccnc-demo https://git-st.inf.tu-dresden.de/ceti/ros/ccf/ccf_workspace.git +RUN git clone --recurse-submodules -b ga-demo https://git-st.inf.tu-dresden.de/ceti/ros/ccf/ccf_workspace.git RUN pwd && ls