Minor fix

.circleci/config.yml

@@ -1043,9 +1043,9 @@ jobs:
       TERM: xterm
       MAKEFLAGS: -j 10
     steps:
-      # NOTE: work around to git unsafe repository error by adding /project as a safe.directory
+      # NOTE: work around to git unsafe repository error by adding $CIRCLE_WORKING_DIRECTORY as a safe.directory
       # See https://github.com/CircleCI-Public/cimg-base/issues/170
-      - run: git config --global --add safe.directory /project
+      - run: git config --global --add safe.directory ${CIRCLE_WORKING_DIRECTORY}
       - checkout
       - run:
           name: Build

scripts/ci/docker_upgrade.sh

@@ -51,7 +51,7 @@ docker build "scripts/docker/${IMAGE_NAME}" --file "scripts/docker/${IMAGE_NAME}
 
 echo "-- test_docker @ '${PWD}'"
 
-# NOTE: Since /project/ is a dir from outside the container and the owner of the files is different,
+# NOTE: Since ~/project is a dir from outside the container and the owner of the files is different,
 # git show in the script refuses to work. It must be marked as safe to use first.
 # See https://github.blog/2022-04-12-git-security-vulnerability-announced/
 docker run \