Comment fixup

moveit · May 2, 2022 · cc7f632 · cc7f632
1 parent 4193104
commit cc7f632
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 2 deletions.
diff --git a/.docker/ci/Dockerfile b/.docker/ci/Dockerfile
@@ -29,7 +29,6 @@ RUN \
         ccache && \
     #
     # Fetch all dependencies from moveit2.repos
-    # Fetch required upstream sources for building
     # 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 && \

diff --git a/.docker/source/Dockerfile b/.docker/source/Dockerfile
@@ -20,7 +20,7 @@ RUN --mount=type=cache,target=/root/.ccache/ \
     # Enable ccache
     PATH=/usr/lib/ccache:$PATH && \
     #
-    # Fetch required upstream sources for building
+    # 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 && \