Revert changes to source Dockerfile

rhaschke · v4hn · commit 3aafa76bb9a1 · 2022-05-09T10:46:31.000+02:00
These are inherited from ci.
diff --git a/.docker/source/Dockerfile b/.docker/source/Dockerfile
@@ -19,14 +19,7 @@ COPY . src/moveit2
 RUN --mount=type=cache,target=/root/.ccache/ \
     # Enable ccache
     PATH=/usr/lib/ccache:$PATH && \
-    #
-    # Fetch all dependencies from moveit2.repos
-    # As of 5/2/2022, permissions need to be set explicitly.
-    # See https://github.com/actions/checkout/issues/760.
-    git config --global --add safe.directory /home/runner/work/moveit2/moveit2/.work/upstream_ws/src/geometric_shapes && \
-    git config --global --add safe.directory /home/runner/work/moveit2/moveit2/.work/upstream_ws/src/moveit_resources && \
-    git config --global --add safe.directory /home/runner/work/moveit2/moveit2/.work/upstream_ws/src/srdfdom && \
-    #
+    # Fetch required upstream sources for building
     vcs import src < src/moveit2/moveit2.repos && \
     if [ -r src/moveit2/moveit2_${ROS_DISTRO}.repos ] ; then vcs import src < src/moveit2/moveit2_${ROS_DISTRO}.repos ; fi && \
     #
