Mount the .git dir in the Docker container

svekars · svekars · commit 570cba96b11b · 2024-11-26T09:44:44.000-08:00
diff --git a/.github/workflows/build-tutorials.yml b/.github/workflows/build-tutorials.yml
@@ -89,6 +89,7 @@ jobs:
             --shm-size=2gb \
             --name="${container_name}" \
             -v "${GITHUB_WORKSPACE}:/var/lib/workspace" \
+            -v "${GITHUB_WORKSPACE}/.git:/var/lib/workspace/.git" \  # Mount the .git directory
             -w /var/lib/workspace \
             "${DOCKER_IMAGE}"
           )

Original file line number	Diff line number	Diff line change
`@@ -89,6 +89,7 @@ jobs:`
`89`	`89`	`--shm-size=2gb \`
`90`	`90`	`--name="${container_name}" \`
`91`	`91`	`-v "${GITHUB_WORKSPACE}:/var/lib/workspace" \`
	`92`	`+ -v "${GITHUB_WORKSPACE}/.git:/var/lib/workspace/.git" \ # Mount the .git directory`
`92`	`93`	`-w /var/lib/workspace \`
`93`	`94`	`"${DOCKER_IMAGE}"`
`94`	`95`	`)`